dhall-1.19.0: tests/parser/success/unicodeDoubleQuotedStringA.dhall

"∀(a : Type) → a"