Data.Tree.Rose

type family Head (x :: *) :: *

type family Tail (y :: *) :: *

class RoseTree c