I've updated the article to try to make it clearer about what types are inferred and how to make it infer the correct types.