macro_rules! impl_vfae {
([idx_cc $Trait:ident $m:ident] $imm:ident $b:ident $h:ident $f:ident) => { ... };
([idx_cc $Trait:ident $m:ident] $imm:ident $($fun:ident $ty:ident $r:ident)*) => { ... };
([cc $Trait:ident $m:ident] $imm:ident $b:ident $h:ident $f:ident) => { ... };
([cc $Trait:ident $m:ident] $imm:ident $($fun:ident $ty:ident)*) => { ... };
([idx $Trait:ident $m:ident] $imm:ident $b:ident $h:ident $f:ident) => { ... };
([idx $Trait:ident $m:ident] $imm:ident $($fun:ident $ty:ident $r:ident)*) => { ... };
([$Trait:ident $m:ident] $imm:ident $b:ident $h:ident $f:ident) => { ... };
([$Trait:ident $m:ident] $imm:ident $($fun:ident $ty:ident)*) => { ... };
}