Algebraic Data Types
I can never get enough of the arrow theory.<p>Here is a malformed question that occurs to me just now:<p>In a language like python i can form instances of a product type using tuples, but making instances of a sum (variant) type ... ?<p>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) ?