dhall-1.21.0: dhall-lang/tests/parser/success/unicodeDoubleQuotedStringA.dhall

"∀(a : Type) → a"