dhall-1.18.0: tests/format/asciiB.dhall

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