monad N = ResT K + StateT(Int) Store