RealWorld -package:declarative

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#.
Not on Stackage, so not searched. Primitives for manipulating the state of the universe