Data.Bifunctor.Biff

data Biff p f g a b