(>>=) = concatMap
これはインスタンスを特定しない名前と特定する名前が分かれている

(>>=) x y z = (y . x) z z
これは代替案がない
ではこの名前が唯一の正解と言えるだろうか