dhall-1.7.0: tests/parser/unicodeDoubleQuotedString.dhall

"∀(a : Type) → a"