Cannot Infer Type Variable Statistics