Bind

Monadからpoint^{point-is-return}を除いたものです。Haskellの標準ライブラリには直接対応する型クラス存在しません。 ekmett/semigroupoidsには、同じ名前の型クラスが存在します。