>All we really need is a 'unique value monad' to give us unique values This sounds a lot like Clean's unique-types?
Keean. _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
