（ - ）Profunctor

（ - >）是一个简单的 profunctor 示例：left 参数是函数的输入，right 参数与 reader functor 实例相同。

instance Profunctor (->) where
    lmap f g = g . f
    rmap f g = g . g