[betimsl]

> Interface types used as type constraints can have a list of predeclared types; only type arguments that match one of those types satisfy the constraint.

Wait... But why?gif