tagged union: Data structure that can hold a value of different but fixed types (only one at a time) </>