translateName :: Name -> String
translateName (UN name)   = translateIdentifier name
translateName :: Name -> String
translateName (UN name)   = translateIdentifier name
translateName (UN name)   = translateIdentifier name