dhall-1.42.3: dhall-lang/tests/alpha-normalization/success/regression/preludeBoolFoldA.dhall

-- For https://github.com/dhall-lang/dhall-haskell/issues/929
  λ(b : Bool)
→ λ(bool : Type)
→ λ(true : bool)
→ λ(false : bool)
→ if b then true else false