Given the following types:
// All possible values type Alphabet = \'a\' | \'b\' | \'c\' | \'d\' | \'e\' // ... etc //