Foundation.Class.Bifunctor

class Bifunctor p