Nothing to add, other than to point people at a different solution, using implicit parameters and rank-2 types:
http://www.cs.chalmers.se/~rjmh/Globals.ps Admittedly, John's approach interacts in a prickly manner with the monomorphism restriction, but it does allow for the safe updating of global variables (which the unsafePerformIO technique does not). Cheers, Andy -- Andy Moran Ph. (503) 626 6616, x113 Galois Connections Inc. Fax. (503) 350 0833 12725 SW Millikan Way, Suite #290 http://www.galois.com Beaverton, OR 97005 [EMAIL PROTECTED] _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell