let _ = Bool in merge {_ = \(x: _) -> x} (<_: Bool>._ True)