Semigroupoid型クラス
Semigroupoid
PureScriptにはPreludeに定義されている
github
合成を表す
compose
のみを持つ
Category型クラス
は、Semigroupoidを継承する
Haskellではpackageとしてある
hackage
fp-ts
にある
https://gcanti.github.io/fp-ts/modules/Semigroupoid.ts.html