トーク:Haskell/圏論

出典: フリー教科書『ウィキブックス(Wikibooks)』
ナビゲーションに移動 検索に移動

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

@kametaro