> This idea proves to be surprisingly powerful when it comes to expressing constraints on generic functions and types.

Disagree. IMHO, this idea is the root cause of why Go generics is so complicate but also restrictive at the same time. And it introduces significant challenges in implementation and design: https://go101.org/generics/888-the-status-quo-of-go-custom-g...