Macro nop_list_lift 

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