I have a slightly complex generics question, is it possible to define
open class Example<T: UserOf<D>, E: D>
without creating a third parameter for D? It seems like type inference should be able to figure out if E is a subclass of D without specifically defining it.