use let in do notation