Function decreases 

pub fn decreases<A>(_a: A)