IORef package:Agda

Utilities for Data.IORef.
Read IORef, modify it strictly, and return old value.