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