Macro is_nonzero 

macro_rules! is_nonzero {
    () => { ... };
}

Functor for equality to non-zero