Function invariant 

pub fn invariant<A>(_a: A)