Data.Tree.Rose

type family Head x :: *

type family Tail y :: *

class RoseTree c