sketch distribute/foldmap elim