Infer type-class dictionary for direct function calls