programming with effects
README.md update