dhall-1.42.3: dhall-lang/tests/parser/success/unit/ForallUnicodeA.dhall

∀(x : T) -> y