Haskell - コンテキストでの型の操作 - do表記を使ってMonadを扱いやすくする - do表記を使って同じコードを異なるコンテキストで再利用する - IOコンテキスト

開発環境

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

コード

sample3.hs

main :: IO ()
main = do
  grade <- readGrade
  print grade

data Grade = F | D | C | B | A deriving (Eq, Ord, Enum, Show, Read)

readGrade :: IO Grade
readGrade = do
    line <- getLine
    return (read line)

入出力結果(Terminal, Zsh)

% runghc sample3.hs 
F
F
% runghc sample3.hs
A
A
% runghc sample3.hs
G
sample3.hs: Prelude.read: no parse
%