macro_rules! always_applicable_ord {
    ($([$($p:tt)*] $t:ty,)*) => { ... };
}