Static type checking support for Trio and related projects - View it on GitHub