Function lift 

pub fn lift<V, T, Pre, Post, E, F>(
    f: F,
) -> impl Check<V, Pre, PostState = Post, Error = E>
where
    T: ?Sized,
    V: Borrow<T>,
    F: Fn(&T) -> Result<(), E>,