3 ms·Supporting sum types is not in any way incompatible with being a query or logic language.by wyager 5y agoSupporting sum types is not in any way incompatible with being a query or logic language.