From what I understand of the talk: Laziness enforced purity in the beginning. Now that we collectively know that reasoning about effects is a good thing we ca

From what I understand of the talk: Laziness enforced purity in the beginning. Now that we collectively know that reasoning about effects is a good thing we can remove laziness but keep that part. I'd say it was a happy little mistake.