Eli Bendersky über Type Inference