dhall-1.27.0: tests/format/asciiB.dhall

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