Data.Tree.Rose
type family
Head
(x ::
*
) ::
*
type family
Tail
(y ::
*
) ::
*
class
RoseTree
c