moved from ListT (State s) a to [State s a]