dhall-1.42.3: dhall-lang/tests/parser/success/text/unicodeDoubleQuotedStringA.dhall

"∀(a : Type) → a"