A Prelude where IO is an abstract type, not a synonm. Previously, IO type errors were getting explained in terms of ST RealWorld.