Ben Lippmeier wrote: > > Another idea would be to add some primops like the following: > > > noopInt# :: Int# -> State# s -> State# s > noopFloat# :: Float# -> State# s -> State# s > ... Have a look at GHC.Prim.touch#. Note that it's special and can be instantiated with unboxed types, too. Roman