Function requires

pub fn requires<A>(_a: A)