Control.Functor.Combinators.Join
data Join p a