Formalizing Swift Generics as a Term Rewriting System | Heykuki News