Data.RefMonad
class RefMonad m r