Is it possible to allow Interfaces to be one of the types of a Union? I'm also interested to know why this is not allowed.