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

λ(_ : Type) →
λ(_ : Optional _) →
  merge { None = True, Some = λ(_ : _@1) → False } _