Small comment on "magic" types: they are magic precisely because they're not very well-designed...they are used carefully in the libs to enable us to express some stuff, but often are not very reliable when used in more general contexts. Some of them have definitely reached graduation age, though.
We could of course document them as is, but need to put disclaimers around their general use.
This list is never going to be truly complete, but I wanted to publicly document all the things I've been making note of that need to be done.
I'll keep adding to this for awhile...
The text was updated successfully, but these errors were encountered: