Monadic “do” block, yet again

What should get into your “ do" block?

(This article has undergone some reviews by quite some people via this reddit post. Thanks to all those there to have helped me get my personal best article so far on Haskell!)