What extra abstraction? I'd expect without monomorphization the code should perform the same as interface{} code, perhaps minus type cast error handling overhe

What extra abstraction? I'd expect without monomorphization the code should perform the same as interface{} code, perhaps minus type cast error handling overhead. That's the model where generics are passing interface{} underneath, & exist only as a type check (à la Java type erasure)