return は純粋な値を IO アクションでくるんで返す。 Prelude> :t "Hello,world!" "Hello,world!" :: [Char] Prelude> :t return "Hello,world!" return "Hello,world!" :: (Monad m) => m [Char] Prelude> h <- return "Hello,world!" Prelude> :t h h :: […