Data.Bifunctor

class Bifunctor p