C#/Monad: Add State, CPS Monad