Late Deduction Type