StateT / pState working, now for pCont