type Prof c d

class ProfunctorOf p q f

data Procompose c d e p q a b