dhall-1.25.0: dhall-lang/tests/import/success/hashFromCacheB.dhall

  λ(_ : Type)
→ λ(_ : Optional _)
→ Optional/fold _@1 _ Bool (λ(_ : _@1) → False) True