I don&#x27;t know what you mean by &quot;fully exploit&quot;, and maybe there are other, nicer, solutions, but object algebras were specifically designed for Java&#x2F;C# type systems. The entire idea is predicated on that:<p><i>This paper presents a new solution to the expression problem  that works in OO languages with simple generics (including Java or C#). A key novelty of this solution is that advanced typing features, including F-bounded quantification, wildcards and variance annotations, are not needed.</i>