Unboxed mutable references in the ST and IO monads