What does that mean? I&#x27;m not sure how you could get more imperative than IO in Haskell; that&#x27;s literally how the language deals with effectful imperative sequencing.<p>Which abstraction does elm use? As far as I can see, there is no abstraction. This is the problem. Effectful code in elm looks syntactically just like pure code.