Bifunctor
class
Bifunctor
p