[wallyqs]

Dhall has a lot of really cool ideas, it would be great to have semantic integrity checks on imports in other languages too.