-- This file assumes its base directory is actually ./data/foo/bar/
./a.dhall : Natural