Haskell - コンテキストでの型の操作 - do表記を使ってMonadを扱いやすくする - do表記の再考

開発環境

入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT5(コンテキストでの型の操作)、LESSON 31(do表記を使ってMonadを扱いやすくする)、31.1(do表記の再考)、クイックチェック 31-1の解答を求めてみる。

コード

sample1.hs

main :: IO ()
main = echo

echo :: IO ()
echo = do
  line <- getLine
  putStrLn line

入出力結果(Terminal, Zsh)

% runghc sample1.hs  
Hell, world!
Hell, world!
%