(basically, explicitly generating one-shot types for each case of an

enum

, and avoiding any new syntax)