This project is intended to be a tool for working with multivariate polynomials in the context of algebraic geometry. The goal is to implement common algorithms like Buchberger's using a purely functional/monadic framework.