I am trying to write an interface that has bounds on multiple layers. As an example, consider the following code:
// the bound type on U is unexpected and doesn\