Function use_type_invariant 

pub fn use_type_invariant<A>(_a: A)