dhall-1.7.0: tests/parser/identifier.dhall

λ(a : Type) → λ(a : Type) → a@1