deriveXmlFull :: Name -> DecsQ
deriveXmlFull name = deriveXmlWithOptions (defaultOptions { namespaceLevel = Namespace_full }) name
deriveXmlFull :: Name -> DecsQ
deriveXmlFull name = deriveXmlWithOptions (defaultOptions { namespaceLevel = Namespace_full }) name
deriveXmlFull name = deriveXmlWithOptions (defaultOptions { namespaceLevel = Namespace_full }) name