MonadLab-0.0.2: examples/Res.mlab

monad N = ResT K + StateT(Int) Store