I welcome the terser type hints for generics. I was wishing for something terser, like:
{str: [int]}