RealWorld -package:pvar -is:package -package:termonad -package:declarative package:rebase

data RealWorld
rebase Rebase.Prelude
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#.