John Hughes <rjmh@cs.chalmers.se> wrote, > "should always have" is unfortunately ambiguous: does it mean "you should > ensure that...", or "we believe that..., but we're not completely sure". I > suggest changing the last phrase to > > ...; to avoid this, the programmer should ensure that the result of > unsafePerformIO has a monomorphic type. Done. Thanks, Manuel