今回はモナド関数の見分け方が何となく分かれば十分です。この後の説明は少々余分ですが付け加えておきます。MaybeやStateやEvalは正しくは型構築子(型コンストラクタ)というもので、それ単体では(具体)型になりません。MaybeとEvalは後ろに具体的な型をもう一つとって本当の型になれます。Stateは2つ型をとって本当の型になります。x」という形になります。見分け方の次に覚えることはモナド関数の組み合わせ方です。組み合わせ方は2通りあり、bind関数(>>=)を使う方法とdo記法を使う方法があります。今回のテトリスではdo記法を覚えて使っていきたいと思います。do記法で覚えることは4つありますので順に見ていきます。