> overly-complex generics-within-generics-within-generics To me, that's a shining example of the problems I've run myself into when trying to squeeze much powe

> overly-complex generics-within-generics-within-generics To me, that's a shining example of the problems I've run myself into when trying to squeeze much power out of Java-style generics. I never seem to encounter similar problems in F#. Scala, it depends on how successful I am at not losing a boot in the mud. Generic programming was born in a language whose other pioneering features were algebraic data types and an HM type system. I've never really seen a first-rate example of one that didn't come paired with at least passable examples of the others.