Yes, a significant chunk of Haskell code usually does end up living in whatever monad (the context that represents IO computations) the app is using. This does

Yes, a significant chunk of Haskell code usually does end up living in whatever monad (the context that represents IO computations) the app is using. This doesn't negate the advantages of tracking effectful code in the type system, and there's still plenty of code that can be pure.