PureScriptにはPreludeに定義されている

合成を表す compose のみを持つ

Category型クラスは、Semigroupoidを継承する

Haskellではpackageとしてある

fp-tsにある