Thanks for your response. Yes my intention to use 'do' was to implement it in so called 'imperative' style coding. 

So if I understand it correctly there is no other way to achieve it via 'do' w/o using the monad transformers?

Thanks again