PS
мне кажется, нельзя было написать {user="a",pass="foo"}, а только
{user="a",pass="foo"} : {user : Text, pass : Text}Я этого, видимо, не застал. В целом Dhall больше напоминает proof-of-concept, нет пока ощущения промышленного решения.
