f.hs

    fixup :: AttrDef -> AttrDef
    fixup attr@(AttrDef nam num ty opts)
      | let nam = attr ^. attrNam

      -- Only do this if the type is actually integer.
      , TyExtra TyInteger _into _imp <- attr ^. attrTy

      -- Check if the dictionary has values for this
      -- attribute name.
      , isJust (M.lookup nam enums)

      -- Overwrite the name and set imported from to nothing
      -- because the ADT will reside in the same module.
      = attr & (attrTy % tyMappedInto) .~ nam
             & (attrTy % tyImportedFrom) .~ []

      | otherwise
      = attr