引数で受け取った値を通じてのみ値を構築することを強制するランク2多相を使ったテクニック

Dhall の Prelude を眺めていて見付けた,ランク2多相を使ったテクニックを紹介する.