dhall-1.42.3: tests/format/asciiA.dhall

λ(a : Type) → ∀(b : a) → a