A 'field'-like traversal?

[neongreen]

When only one of several branches has the given field, I can't use field:

    • Not all constructors of the type TypeExpr
       contain a field named 'constraints'.
      The offending constructors are:
      • TypeLitString
      • TypeNormal
      • TypeRow
      • TypeBareRecord

It would be great to have a traversal that lets me ignore the warning and just .~ or ^?! the field.

[prednaz]

I think, makeFieldLabelsWith noPrefixFieldLabels with the optics package produces the instances @neongreen wants.

[arybczak]

FWIW optics has now also got gafield for this.