Data.Bifunctor.Wrapped
data
WrappedBifunctor
p a b