引数codice_203を伴う高階関数で表現された単純な逆ポーランド記法評価器が、パターンマッチングと型クラスcodice_204を用いたcodice_205節で定義されている。