--- Bind.hs.orig	2008-05-10 22:43:43.000000000 +0200
+++ Bind.hs	2008-05-10 22:35:35.000000000 +0200
@@ -14,7 +14,7 @@
 -- import IOExts
 import Monads
 
-class Monad m => Fresh m where
+class (Monad m, HasNext m) => Fresh m where
   fresh :: m Name
 
 class Freshen b where