Data.Profunctor
class Profunctor p
class Strong p
class Choice p
data UpStar f d c
data DownStar f d c
data WrappedArrow p a b
data Forget r a b