> In practice though we should probably all write annotations that do work with an existing type checker. oh, sure! "freeform annotations" that break mypy in a

> In practice though we should probably all write annotations that do work with an existing type checker. oh, sure! "freeform annotations" that break mypy in a published library should be a punishable offense ;)