（ - ）Profunctor

（ - >）是一個簡單的 profunctor 示例：left 引數是函式的輸入，right 引數與 reader functor 例項相同。

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