>>160
Monadの、って意味。
モナディックな関数とは、モナドの値を返す関数のこと。
print::Show a => a -> IO ()
はモナディックな関数。IOがモナドだから。