diff --git a/GTALib.cabal b/GTALib.cabal
--- a/GTALib.cabal
+++ b/GTALib.cabal
@@ -7,7 +7,7 @@
 -- The package version. See the Haskell package versioning policy
 -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
 -- standards guiding when and how versions should be incremented.
-Version:             0.0.2
+Version:             0.0.3
 
 -- A short (one-line) description of the package.
 Synopsis: A library for GTA programming           
diff --git a/src/GTA/Util/GenericSemiringStructureTemplate.hs b/src/GTA/Util/GenericSemiringStructureTemplate.hs
--- a/src/GTA/Util/GenericSemiringStructureTemplate.hs
+++ b/src/GTA/Util/GenericSemiringStructureTemplate.hs
@@ -50,7 +50,7 @@
 -}
 genAlgebraRecord :: forall t.Name -> [TyVarBndr] -> [(Name, [(t, Type)])] -> DecQ
 genAlgebraRecord typeName typeParams constructors = 
-  let a = mkName "a"
+  let a = mkName "gta"
       newParams = typeParams++[PlainTV a]
       dataName = algebraName typeName
       funs = map genFun constructors -- functions corresponding to constructors
@@ -70,7 +70,7 @@
 -}
 genMapFunctionsRecord :: forall t.Name -> [TyVarBndr] -> [(Name, [(t, Type)])] -> DecQ
 genMapFunctionsRecord typeName typeParams constructors = 
-  let a = mkName "a"
+  let a = mkName "gta"
       newParams = typeParams++[PlainTV a]
       mapName = mapFunctionsName typeName
       funs = map genFun constructors' -- functions corresponding to constructors
@@ -169,7 +169,7 @@
     fs = map (\(n, _)->funcName n) constructors
     binds = [recBind (algebraName typeName) fs (varE alg) name,
              monoidBind (varE m)]
-    name = mkName . (++"A") . nameBase
+    name = mkName . (++"gta") . nameBase
     bindExp ve = appE (varE frec) ve
     bindPat a = varP a
     newAlgebraName = (mkName "makeAlgebra")