https://en.wikipedia.org/wiki/Monad_(functional_programming)
@demesisx @lysdexic No safety issues mentioned around ReaderT. The speaker was talking about how stacking monad transformers mtl-style can generate unnecessary closures that GHC can't optimise away.
Thanks for the clarification.