This doesn't negate the advantages of tracking effectful code in the type system, and there's still plenty of code that can be pure.
This doesn't negate the advantages of tracking effectful code in the type system, and there's still plenty of code that can be pure.