Implement monadic state
Bindings, get/set
Define var