Finish off StateT