Function ensures 

pub fn ensures<A>(_a: A)