I think he’s talking about concrete data structures, though, not abstract types. I don’t think you would need generic types to write git?