この質問は、私の前の質問に寄せられたフィードバックに触発されています
ScalazKleisli[M[_], A, B]関数のラッパー クラスを提供しますA => M[B]。
Kleisli[M[_], A, B]が半群ならM[_]半群です。それM[_]が関手であるとします。Kleisliファンクターでもあるのは正しいですか？M[_]applicative または monad の場合はどうなりますか?
この質問は、私の前の質問に寄せられたフィードバックに触発されています
ScalazKleisli[M[_], A, B]関数のラッパー クラスを提供しますA => M[B]。
Kleisli[M[_], A, B]が半群ならM[_]半群です。それM[_]が関手であるとします。Kleisliファンクターでもあるのは正しいですか？M[_]applicative または monad の場合はどうなりますか?