Init: explores use of `let` in monads
Init: demonstrates that monads are scoped
Init: demonstrates `let` scoping in `do` expressions