>>519
異なる順序でreductionする方法がある場合は、どの順序でreductionしても同じ結果になるだろ？

IO a >>= (a -> IO b) -> IO bなら当たり前だけど(a -> IO b) -> IO bをa -> IO bに先にreduction可能