Artefact for "Developing a Monadic Type Checker for an Object-Oriented Language" - View it on GitHub