Bifunctor

class Bifunctor p