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