Cannot Infer Type Variable Statistics Meaning