Statistics for C∀ Type System Implementation