Macro variant

macro_rules! variant {
    { $($id:tt : $ty:expr);* $(;)? } => { ... };
}

Construct a variant type, e.g., variant!{ tag: <()>::ty() }.