https://test.dhall-lang.org/cors/Empty.dhall