Implementing state coverage.
Working out the StateT transformer.