Haskeller here, some observations:<p>- Not surprised that the state monad is the most commonly used one, it essentially acts as an escape hatch to write more imperative-looking code<p>- List monad least used, probably due to the fact that Haskell has list comprehensions<p>- Continuation monad is second least used, much like how many programmers find Scheme's call/cc unintuitive, continuations can be complex conceptually and have specific use cases that don't really appear in industry<p>- The Error monad in mtl has been deprecated in favor of Except, looks like there's still many packages left to update<p>Overall I'd say that mtl has penetrated quite well into the Haskell community, any intermediate Haskeller likely knows it. However, I hope that in the future more people end up using effect libraries such as fused-effects and polysemy (based on the work on extensible effects[0]) which have compositional and performance advantages.<p>Also, one common complaint from the effects community is how the IO monad is a "sin bin" (as SPJ describes it) of effects. One ought to be able to express more nuanced side effects such as network/disk access or console I/O.<p><i>When designing a program we should start thinking what effect we want to achieve rather than which monad transformer to use. Instead of jumping straight to StateT and so on, we ought to identify what transformation on the world and its resources we wish to effect.</i><p>[0] <a href="http://okmij.org/ftp/Haskell/extensible/" rel="nofollow">http://okmij.org/ftp/Haskell/extensible/</a>