I don't see a good reason why the following interface should be invalid:

type Element[E Element[E]] interface { Less(E) bool }

Yet the compiler reports an invalid recursive type.
See example application here.