title: Higher-kinded types—why possible Scala but not F#?
body: <p>Given that the CLR generics implementation supports more features than the JVM's, such as reification, and the JVM's generics are a mere Java <a href="https://stackoverflow.com/a/480362/1288448">"compiler trick"</a>, why are higher-kinded types not possible in F# but possible in Scala?  Does the CLR generics implementation somehow get in the way of things, whereas the JVM's lack of one allows you to go further than what the designers intended; somewhat like dynamic languages let you do tricks that a strongly-typed compiler would make impossible?</p>