Re: [Haskell] Uniqueness types for Haskell?

Any ideas, pointers, comments? Hacle: http://www-users.cs.york.ac.uk/~mfn/hacle/

It transforms from Haskell to Clean, so I would have thought it has a transformation to convert certainly the IO Monad to uniqueness types. Neil