Fieldwise typeclass for operations of fields of records treated as independent components