Profunctor Equipment in Haskell