I think you’re right. It’s just not exactly what many people coming from other languages expect from generics.

It’s seems like a static polymorphism but not monomorphism, which also is implemented in Go generics but for simple types.