RealWorld -package:ghc -package:massiv -package:termonad package:mutable-containers

data RealWorld
mutable-containers Data.Mutable
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#.