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