Without these you can't derive SafeCopy for types with no constructor, e.g. Data.Void.Void.
Without these you can't derive SafeCopy for types with no constructor, e.g. Data.Void.Void.