Describir: A monad for full ground reference cells