Reference types

Koen Claessen
Wed, 6 Feb 2002 09:54:57 +0100 (MET)

Ashley Yakeley wrote:

 | So how is that an m -> r dependency? Nothing is
 | stopping the programmer have two different kinds of
 | reference for the same monad, and 'readRef' and
 | 'writeRef' will work on any Ref.

You are completely right, of course I meant r -> m!


Koen Claessen
Chalmers University, Gothenburg, Sweden.