Function adapton::catalog::collections::list_map_lazy

pub fn list_map_lazy<X: 'static, Le: 'static + ListElim<X>, Y: 'static, Li: 'static + ListIntro<Y>, F: 'static>(
    l: Le, 
    body: Rc<F>
) -> Li where
    F: Fn(X) -> Y, 

Lazily maps the list, guided by names in input list. Creates lazy named thunks in output for each name in input.