4 ms·

If I understand you correctly - in popular structurally typed languages, sure. It seems ok in upcoming languages with polymorphic sum types (eg Roc “tags”) tho

If I understand you correctly - in popular structurally typed languages, sure. It seems ok in upcoming languages with polymorphic sum types (eg Roc “tags”) though?