いくつか技術的に重要な点があります。
Kleisli
アローはKleisli圏におけるアローで、単にm
がMonad
である場合におけるa -> m b
という型にあう何かを表すという以上の目的があります。
この意味論的な問題点を無視したとしても、更に問題があります。
ほとんどの場合、UpStar
はFunctor
を使いますが、Kleisli
はMonad
を使います。
GHC 7.10ではApplicative
-Monad
の提案(AMP)が導入されますが、それまでは以下の違いがあります。
instance Monad m => Profunctor (Kleisli m)
instance Functor f => Profunctor (UpStar f)
現状ではFunctor
はMonad
のスーパークラスではないので、まだ前者のインスタンスを後者のようにすることはできないのです。
追記 技術的には、UpStar
はおそらくDownStar
と呼ばれるべきでしたし、その逆もそうなのですが、いくつかの資料から用語を持ってくるときに、間違いをそのまま持ってきてしまいました。