Empty Container Inference in Python

Comparing three strategies type checkers use for inferring types of un-annotated empty containers in Python