monad の インスタンス 定義に >>= と return に 型構成子 が必要となる Functor と Monad の関係が 圏論 と 異なってるのか?
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。