Simon Peyton-Jones simonpj at
Fri Sep 26 10:48:06 EDT 2003

| The reason for having an MRef class was that there were two reference
| types.  If there's only one, but parameterized by region, you might as
| well parameterize on the region instead, describing a class of monads
| that contain a heap region:

That sounds plausible.  I certainly don't object to the change.


More information about the Libraries mailing list