[Haskell] ANNOUNCE: Updates and a new member of the Monadic Regions family