Why are reified generics hard to combine with higher-kinded types?

Question

There exists a notion that combining reified generics with higher-kinded types is a hard problem.

Are there existing languages who have successfully combined these two type system features or is it not possible in general?

Is there any further information available to understand what has been done in this space until now?

Answer 1

For the second part of the question: Have a look at the Scala programming language which has successfully combined reified generics from the underlying JVM with higher kinded types. The key concepts to make this work are implicit parameters and Manifests. A manifests is used to port some of the erased type information over to run time and implicits are used to inject the manifest in a type class like manner. The blog post Manifests: Reified Types has more details.