Imperative code looks like imperative code. Most Haskell code isn't though. Also, a 5 layer transformer stack is typically wrapped in a newtype, so it looks li

Imperative code looks like imperative code. Most Haskell code isn't though. Also, a 5 layer transformer stack is typically wrapped in a newtype, so it looks like an ordinary monad with the operations you need.