We only destruct n-tuples, unit types, and singleton records
without invariants. We only inline projection-like functions
for these types.