Data.Profunctor
class Profunctor p
(^>>)
(>>^)
(<<^)
(^<<)
class Strong f p
(***)
(&&&)
(+++)
(|||)
class Costrong f p
class Closed f p