>>764
別物というとちょっと語弊があって，
Kleisli triple と monad は一対一対応するので，
どちらで定義しても「本質的には同じもの」になる．

言い方としては，
　Haskellでは monad は Kleisli tripleで定義される
というのが間違いないと思う．