Data.Bifunctor.Tannen

data Tannen f p a b