data RealWorld #

RealWorld is deeply magical. It is primitive, but it is not unlifted (hence ptrArg ). We never manipulate values of type RealWorld ; it's only used in the type system, to parameterise State# .