Data.Profunctor
class Profunctor p
class Strong p
uncurry'
class Choice p
class Closed p
curry'
class Mapping p
class Costrong p
class Cochoice p
data Star f d c
data Costar f d c
data WrappedArrow p a b
data Forget r a b
type p :-> q