値の書き方が煩雑(使わない方の識別子も書かなければならない)ですがこれには解決策が用意されています。名前をつけて独自の型を定義することができます。使えばより詳細なメッセージを出してくれます)。Point2d(stdin):1:47外部ファイルのインポートDhallでは外部のファイルをインポートして使うことができます。型を使って型チェックすることができます。./Point2d.dhall(stdin):1:1なおここではローカルのパスからインポートしましたがURLからインポートすることもできるようです。関数は無名関数として作ることができます。引数を1つ受け取ってそのまま返す関数です。dhallInteger10複数の引数を取る関数は1つの引数を取る関数をネストすることで記述できます。引数に取ることもできるので実際のところ問題にはなりません。引数に取る型は標準のものだけでなく自作の型でもOKです。関数が任意の型の値を取れるようになります。実用上は自作型のデフォルト値を少し書き換えるような場合によく使います。値を記述するときは使わない識別子も書かねばならず煩雑であることを述べました。コンストラクタを生成して値の記述を楽にしてくれます。何らかの特定の型に変換するときに使います。