| 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. Simon