Added a pure, but still prettyprinting, driver.

This seems an appropriate addition, but the Writer
constraint bothers me. The hook and the test should
ideally be enabled to have different monads.