merge { x = λ(_ : Bool) → _ } (< x : Natural >.x 1)