Union type

[dorgan]

@Qqwy

Also, all tuples are considered instances of the type Tuple , regardless of arity, which unfortunately includes any and all record-types (which are tuples whose first element is a particular atom) ).

This is true.
A bit of a tangent here but there is also the ProtocolEx library by @OvermindDL1, with it you can easily define aprotocol for result tuples or any kind of values you want as long as you can pattern match against it. I’m not sure why it didn’t catch up.