translateNamespace :: Name -> String
translateNamespace (UN _)    = idrNamespace
translateNamespace :: Name -> String
translateNamespace (UN _)    = idrNamespace
translateNamespace (UN _)    = idrNamespace