stories
stories copied to clipboard
Only State subclasses are allowed to join the union.
Different types are forbidden.
A1State & A2State & None # error
Plain state is also forbidden.
A1State & A2State & State # error - needs a subclass