>>231
モナド則でこうなってるから
(m >>= f) >>= g == m >>= (\x -> f x >>= g)