Re: Real problem mentioned first
Oh, actually, I should correct one thing. You can't use wildcards in type declarations like `struct` or `enum` either because those are also part of the code's external API. By "use them in type signatures", I meant things within functions like `let x: <type> = ...`