TDD THYSELF A MONAD OR THRICE