#! /usr/bin/env nix-shell
#! nix-shell -i "dhall --file" -p dhall
42