Move `Lens.Micro.ProCompat` into `Lens.Micro.Pro`
stevenfontanella opened this issue · comments
See #174 (comment) for rationale. Most users of Lens.Micro.Pro would anyway need definitions from other microlens libraries which have conflicting names. We should re-export everything directly from Lens.Micro.Pro so other lens libraries don't need to be imported with hiding clauses.