Control.Applicative.Compose

data (f :+: g) a