標準ライブラリで定義されています。それらの一覧をざっと眺めて、なにがあるか知っておくといいでしょう。場合、場合分けを減らすのに役立ちます。それらのコンビネータに慣れるための努力は、すぐに報われるでしょう。型でも、(よく似たセマンティクスで)定義されているからです。ような型をエルゴノミックにします。呼び出し元がそれに合った方法で扱えるようにするので、合成可能だといえます。ときにパニックを起こすので、このような選択の機会を与えません。標準ライブラリで定義されています。なる可能性を示します。処理が実行に失敗したのかを説明するために用いられます。一般化した形式だといえます。以下のような型エイリアスがあるとしましょう。等しいセマンティクスを持ちます。(「ユニット」または「空タプル」と発音します)に固定したものです。