Going in a whole different direction, with my friend StateT