Macro invariant_contravariant 

macro_rules! invariant_contravariant {
    ($name:ident<$( $t:tt ),+>) => { ... };
    ($name:ident<$( $t:tt ),+>, $ct:tt $(+ $dt:tt )*) => { ... };
}

Macro to implement Invariant for types implementing a contravariant Functor.