Introduction Simple IO regions, in Haskell98 + existentials Lightweight monadic regions Heavy-weight implementation of region calculus Tracking dynamic values in types Hindley-Milner type generalization and region-based memory management Introduction Monadic Regions is a technique for managing resources such as memory areas, file handles, database connections, etc. It was introduced by Tofte and T