[tomp]

I agree, but my point was rather that you can't typecheck Pandas (or a similarly complex library). Gradual typing for the win!