Function not 

pub fn not<T>(a: impl Fn(T) -> bool) -> impl Fn(T) -> bool
where
    T: Sized,