2020-10-21引数で受け取った値を通じてのみ値を構築することを強制するランク2多相を使ったテクニックKeywords:Dhall,Haskell,Rank-2 polymorphismDhallのPreludeを眺めていて見付けた，ランク2多相を使ったテクニックを紹介する．続きを読む