Interesting critique of laziness in PLs and what their types mean from