macro_rules! variant { { $($id:tt : $ty:expr);* $(;)? } => { ... }; }
Construct a variant type, e.g., variant!{ tag: <()>::ty() }.
variant!{ tag: <()>::ty() }