Currently incomplete (documentation is only available on interfaces),
because TH cannot set documentation on overloaded record fields
("Ambiguous occurrence ‘destroy’").