Control.Functor.Combinators.Biff
data Biff p f g a b
type On p f
type PAp p
type PCofree
type PFree