Records are product types. Variants are sum types. https://www.cs.princeton.edu/courses/archive/fall05/cos441/notes/prodsum.pdf https://www.cs.princeton.edu/co

Records are product types. Variants are sum types. https://www.cs.princeton.edu/courses/archive/fall05/cos441/notes/prodsum.pdf https://www.cs.princeton.edu/courses/archive/fall05/cos441/n...