Moved simple to Lens.Equality