Infer.Monad.run converts to StateT