>>710
？
モナドは常に引数あるよ。
doでしか使った事ないのかな。。。

main = do
print (1 + 1)
print (2 + 2)

は

main = print (1 + 1) >> print (2 + 2)

のdo表記だし、(>>)は

main = print (1 + 1) >>= \_ -> print (2 + 2)

の(>>= \_ ->)部分の略記。(print (1 + 1)の戻り値IO()からIOを外した()がラムダ式の引数に入るが使わない)