eff::lazy
pub fn pure<T>(v: T) -> impl Effectful<Output = T, Effect = !>
Converts a value into a one-shot effectful computation that immediately resolves to said value