What's messy about python+async+types?