[Haskell-cafe] Re: [Haskell] Top Level <-

[David Roundy]

On Thu, Aug 28, 2008 at 01:17:29PM -0400, Dan Doel wrote:
> On Thursday 28 August 2008 12:26:27 pm Adrian Hey wrote:
> > As I've pointed out several times already you can find simple examples
> > in the standard haskell libs. So far nobody has accepted my challenge to
> > re-implement any of these "competantly" (I.E. avoiding the use of global
> > variables).
> >
> > Why don't you try it with Data.Unique and find out :-)
> 
> Here's a first pass:
> 
> -- snip --
> 
> {-# LANGUAGE Rank2Types, GeneralizedNewtypeDeriving #-}
> 
> module Unique where

If you want this to actually provide any guarantees, of course, you'll
have to provide an export list.

David