トーク:Haskell/圏論

ページのコンテンツが他言語でサポートされていません。
出典: フリー教科書『ウィキブックス(Wikibooks)』

(id :: B -> B) . f = f . (id :: A -> A) = f はf ではなくてgが正しくないでしょうか?

@kametaro