> What you mean is, "effects are reflected". Haskell has a monadic effect system (IO is very rough-grained part of it), which can be combined via monadic transf

> What you mean is, "effects are reflected". Haskell has a monadic effect system (IO is very rough-grained part of it), which can be combined via monadic transformers. Technically I'm on solid ground, IO _is_ reflected in the type system and not all effects are (memory use being the big omission, which we both mention). Saying "effects are reflected" is probably more helpful though. > monadic transformers There are ways combine capabilities without using monad transformers. For instance with typeclasses (if any non-haskellers are reading this here's an example: https://github.com/commercialhaskell/stack/blob/8b010060b0d79f8455562a2716c68b72796f25b6/src/Stack/Build/Cache.hs#L66 https://github.com/commercialhaskell/stack/blob/8b010060b0d7...). > IMHO, the Haskell equivalent to Merlin/ocp-indent are not nearly as good, or at least were not as a few years ago Editor tooling is still a big weakness of haskell:( A lot has been done on it though and progress is starting to pick up. I agree 100% with your other points.