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