Haskellの話。Control.Arrow というライブラリがあるのだが、自分に取っては first, second, (***),(&&&)くらいを使うくらいのユーティリティライブラリでしかなかった。 class Category cat where id :: cat a a (.) :: cat b c -> cat a b -> cat a c (>>>…