RealWorld -package:massiv -is:package -package:base-prelude package:declarative -is:exact

data RealWorld
declarative Numeric.MCMC
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#.