Data.Bifunctor.Wrapped

data WrappedBifunctor p a b