Function use_type_invariant

pub fn use_type_invariant<A>(_a: A)