Add a StateT example.
WIP