- No custom sum types

I would love to be able to say e.g.: this column is either a PK in the “results” table or a PK in the “errors” table.