Control.Functor.Combinators.Join
data
Join
p a