[Haskell] ANN: Updates in the monadic regions family