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

"∀(a : Type) → a"