>>807
Applicativeはほとんど知らなかったのだけれどこれ？
ttp://www.soi.city.ac.uk/~ross/papers/Applicative.pdf
解説のほう読んだ限りだとなんというか、関手じゃないなにかマッピングするもので
写した射を関手のように取り扱いできるようにする、というのが基本アイディア
のようだね。
言いにくいし、よく知らないけど、これ実用面からの要請のみだと思うぞ。
(.)とidの話は正直よくわからん、どういうこと？
Arrowは全く知らないのでわからない。

liftMは循環的性質を持つ関手の射関数と考えればいいと思う。