dhall-1.29.0: dhall-lang/tests/normalization/success/unit/MergeNoneA.dhall

merge { None = False, Some = \(b : Bool) -> b } (None Bool)