Data.Profunctor

class Profunctor h

data UpStar f d c

data DownStar f d c

data WrappedArrow k a b