added lazy recursion example (also with DoRec)