>>776
> GHCIとかで:typeしてもエラーにしかならないんですけど

では、そのすぐ上に Either e も「Functor のインスタンス」だという説明がありますが、
これも :type を試されましたか？

エラーが出ますよね
だって、Either も (->) と同じように関数や演算子じゃないから

「〜は＊のインスタンス」と言った場合、〜の部分には「型」がきます

型の情報は :type では得られません（:type は値の型情報を得るもの）
型の情報は :info などで得られます
ただし、正確には :info には型ではなく型構築子を指定しないといけません
（たとえば :info Either e ではなく :info Either）

と言うことで、((->) e) は単なる型であり、意味上は何も特別なことはありません
試しに :info (->) をすれば、((->) r) 型が Functor のインスタンスだと分かります

正確に言えば (->) が種 * -> * -> * の型で、((->) e) が種 * -> * の型です


((->) e) 型のFunctor実装は処理系依存でライブラリでは公開されていませんが、
次のように解釈できるような実装になっているはずです

instance Functor ((->) e) where
　　fmup f g = f . g