macro_rules! nop_lift {
    ($set:ident; $ty:ty => $lifted:ty) => { ... };
}