And then you could have mixable StandardLiftables, like paradise quasiquotes once had.