RealWorld
is deeply magical. It is primitive, but it is not unlifted (henceptrArg
). We never manipulate values of typeRealWorld
; it's only used in the type system, to parameteriseState#
.
RealWorld
is deeply magical. It is primitive, but it is not unlifted (henceptrArg
). We never manipulate values of typeRealWorld
; it's only used in the type system, to parameteriseState#
.