Pretty cool, I think this is the analog of transients but in Haskell: when no-one knows you’re using mutability behind the scenes, you can still pretend to be pure: https://wiki.haskell.org/Arrays#Mutable_arrays_in_ST_monad_.28module_Data.Array.ST.29