Exactly - parametric polymorphism doesn't give you power. It in fact only ever makes your types more constrained! In a theoretical Go: func id<A>(a A) A

Exactly - parametric polymorphism doesn't give you power. It in fact only ever makes your types more constrained! In a theoretical Go: func id<A>(a A) A This only has one terminating, non-panicking valid implementation.