2- Add `HasTypesUsing` and `HasTypesCustom` for custom traversals (Lysxia)
2- Add `HasTypesUsing` and `HasTypesCustom` for custom traversals (Lysxia)
5- Fix regression in type inference for polymorphic optics
8- Fix regression in type inference for polymorphic optics
6- Add `HasField0`, `HasPosition0`, `AsConstructor0`, `HasField_`, `HasPositon_`, and `AsConstructor_` (Lysxia)
9- Add `HasField0`, `HasPosition0`, `AsConstructor0`, `HasField_`, `HasPositon_`, and `AsConstructor_` (Lysxia)