conditions and assertions for #68
comprehension beginning with condition #68
param type inference of anon funcs #68