Algebraic Data Types
I can never get enough of the arrow theory.Here is a malformed question that occurs to me just now:In a language like python i can form instances of a product type using tuples, but making instances of a sum (variant) type ... ?How is it that the duality is broken when I no longer have variable declarations? Or is every object instance already a variant (of every possible subclass) ?