eff::lazy
pub fn lazy<T, F>(v: F) -> impl Effectful<Output = T, Effect = !> where F: FnOnce() -> T,
Converts a thunk into a one-shot effectful computation