Data.Profunctor.Types
class Profunctor p
data Star f d c
data Costar f d c
data WrappedArrow p a b
data Forget r a b
type p :-> q