For that specific example (the Integer abstract type) could you also make a 
type alias for the union type? And then you need only to update the type alias 
if you add any new integer types.

Reply via email to