Records are a logical and. A cat is a name and an age and a color, for example. A variant is a logical or. A pet is a dog or a cat. And and or are duals. Muc

Records are a logical and. A cat is a name and an age and a color, for example. A variant is a logical or. A pet is a dog or a cat. And and or are duals. Much more in the "Algebraic data types" chapter at https://scalawithcats.com/ https://scalawithcats.com/ Does that answer it?