Data.Generics.Fixplate.Functor

data (f :+: g) a

data (f :*: g) a