Records are product types. Variants are sum types.

https://www.cs.princeton.edu/courses/archive/fall05/cos441/n...