Function ensures

pub fn ensures<A>(_a: A)