More transformations; string unpacking
Start on an STM monad