>>11
それで合ってる。
細かいことをいうと、getCharはモナドではなくて動作(アクション)で、
動作に対して行うのは評価ではなくて実行ね。