Add f_of_abc to match against a sum type of records with the same fields.
ws.