def cons(asker, req, head, tail):
return asker.ask_tail(make_list(req, empty(), T.cons(head, tail), empty()))
def map_simple(asker, to_apply, head, tail):
return asker.reply(answer=T.cons(
updates.update(to_apply, head),
updates.update(update_map(to_apply), tail)
))
