no GENERIC: as there is no subclassing