Reply To: Type deduction system using type erasure