Laziness beyond levels