Aliases: Either
Sum is a datatype that contains one of two (or more, since this type could be used inductively) alternatives in runtime.
e `S` ee ~ S e ee ~ Sum e eeSum is a general representation of colimits.
You can construct Either value with these constructors:
This: i `AR__` Either i ii
That: ii `AR_` Either i ii