>>91
> extract Nothing は何になりますか
なるひどこれは困った。。。

>>92
たしかに、fmap と join を基礎にすれば、 >>=　はその一手ですね

>>= :: ma -> (a -> mb) -> mb　の中では、特に、
a -> mb　の部分がモナドにとって本質的なんだなと思えてきました