Does Haskell have something like gensym in Racket?

1. It seems that Haskell does n开发者_如何学JAVAot the type of symbol as that in Racket?
2. Is there something that can generate symbols like gensym in Racket? e.g. in Racket, (gensym 'label) can give 'label2391

The standard unique supply is Data.Unique. For meta-programming purposes, Template Haskell also provides unique names.