in an ideal world, the annotations i make for exte...
# announcements
s
in an ideal world, the annotations i make for external libraries, would be 100% correct, and in those cases having compiled type checking would be great