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#.
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#.