Function adapton::catalog::collections::list_map_eager2

pub fn list_map_eager2<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, 

Eagerly maps the list. Uses (eager) memoization for each name in l. Unlike list_map_eager, it allocates a reference cell for each name, separate from the memoized thunk for the recursive call.