Macro impl_infinity 

macro_rules! impl_infinity {
    ($t:ident < $g:ident > $([$(<$a:ident $(, $p:tt)?>),*])?) => { ... };
}