>>185
> Haskellerならreturnが単位元な事と>>=の結合則が成り立つ事が分かっていればいい。

代数じゃん!