Do/Can monomorphed generics inherit a common base class?

Question

Let\'s assume I would develop a new programming language L.

• L should support type inference and type-checking at compile-time, spefici