I find the proposal interesting. Type constraints might help to reason about a given abstraction. If I understand correctly they behave quasi like sum types ove

I find the proposal interesting. Type constraints might help to reason about a given abstraction. If I understand correctly they behave quasi like sum types over interfaces. From skimming here: https://go.googlesource.com/proposal/+/master/design/go2draft-type-parameters.md https://go.googlesource.com/proposal/+/master/design/go2draf... They don't feel like generics in for example Java (my Java is rudimentary), but rather like an abstraction over interfaces. Can anyone elaborate on this?