Laziness may indeed not exist, but non-strict evaluation for sure does.