Counter monad instead of ApplyOnce
Update README.md