It's really fun to write full imperative code using lenses and the State monad.

Though it's a shame that lens type signatures are quite complicated.