WIP: adds laziness examples