Function forall 

pub fn forall<A>(_a: A) -> bool