Finished Functor implementation for StateT