Function eff::lazy::pure

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