Taking Conj as an example, the old version has several instances which cannot be used for the newtypes here, since the classes are defined downstream. In particular, it's not possible to do Data.Newtype.ala Conj foldMap, though you can recover the same idea using Data.Lens.Iso.au. In addition, the Alternate newtype has been lost completely.