Вот поэтому я и не женюсь (с)

http://happstack.com/docs/crashcourse/AcidState.html
"Syntax is not as nice" - это некоторое преуменьшение, вам так не кажется?
"Вот поэтому я и не женюсь" (с) О чем говорят мужчины. В смысле, вот поэтому хаскель и не используют

Here we update the nickName for UserId 0:

> changeNick :: UserState
> changeNick =
>   (users ^%= user (UserId 0) ^%= fmap (name ^%= (nickName ^= "stepkut"))) userState

In a traditional imperative language we write changeNick something like:

changeNick() { userState.users[0].name.nickName = "stepkut"; }

Looking at the two, you can see the similarity, even if the syntax is not as nice.