Add a link to monad transformer discussion which is relevant