data Tree a = Leaf a | Branch (Tree a) (Tree a) unit :: a -> Tree a unit = Leaf join :: Tree (Tree a) -> Tree a join (Leaf a) = a join (Branch r s) = Branch (join r) (join s)
data Tree a = Leaf a | Branch (Tree a) (Tree a) unit :: a -> Tree a unit = Leaf join :: Tree (Tree a) -> Tree a join (Leaf a) = a join (Branch r s) = Branch (join r) (join s)
Comments
0 B
|👍
/👎
0 B
|👍
/👎
0 B
|👍
/👎