getCompactConstructors
Return
Only the "compact" constructors within this record, not "normal" constructors (which are obtainable via getConstructors).
Only the "compact" constructors within this record, not "normal" constructors (which are obtainable via getConstructors).