Added StateT[IO,DB,Int]