diff --git a/compositional-data.cabal b/compositional-data.cabal
--- a/compositional-data.cabal
+++ b/compositional-data.cabal
@@ -1,5 +1,5 @@
 name:                compositional-data
-version:             0.1.0.0
+version:             0.1.0.1
 synopsis:            Compositional Data Types
 description:         Modular data types defined as fixpoints, and term homomorphisms, like compdata package but with cleaner API
 license:             BSD3
diff --git a/src/Control/Monad/Trans/Fresh.hs b/src/Control/Monad/Trans/Fresh.hs
--- a/src/Control/Monad/Trans/Fresh.hs
+++ b/src/Control/Monad/Trans/Fresh.hs
@@ -19,7 +19,7 @@
 
 instance Show (Name i) where
     show (Name n) = List.genericIndex names n
-      where names = map List.reverse $ flip (:) <$> "":names <*> ['a'..'c']
+      where names = map List.reverse $ flip (:) <$> "":names <*> (['a'..'z'] <|> ['α'..'ω'])
 
 evalFreshT :: FreshT m a -> m a
 evalFreshT = flip runReaderT 0 . unFreshT