extract the stricter writer monad to a standalone implementation and add a test suite
rename the example program to not sound so similar to the test suite