PureScript Notes Definitions Preliminary Type: A context that describes some value. Sum type: A kind of user-defined type that is a boolean XOR of possible types, where only one is chosen for a given instantiation. Also called a