Seol mar théacs é seo: A monad for full ground reference cells