Broken ana

Example.elm

import Html

type TreeF v a
    = Node v (List a)


treeMap : (a -> b) -> TreeF v a -> TreeF v b
treeMap f (Node v xs) =
    Node v <| List.map f xs


type Tree v
    = Tree (TreeF v (Tree v))

treeAna : (a -> TreeF v a) -> a -> Tree v
treeAna alg =
    Tree << treeMap (treeAna alg) << alg
-- treeAna alg a =
--     Tree << treeMap (treeAna alg) <| alg a


treeCoalgebra : Int -> TreeF Int Int
treeCoalgebra a =
    Node 0 []

main =
    Html.text <| Debug.toString <| treeAna treeCoalgebra 99