#!/usr/bin/env -S dhall text --file "A"