Cannot Infer Type Variable Statistics Definition