> 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