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?