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

@kametaro

ページ「Haskell/圏論」に戻る。