dhall-1.42.3: tests/format/asciiB.dhall

\(a : Type) -> forall (b : a) -> a