Data.RefMonad
class
RefMonad
m r
modifyRef