Prefatory note: this is about the Haskell library ‘mtl’ [https://hackage.haskell.org/package/mtl], i.e. ‘monad transformer library’.