4 ms·No real higher kinded types means its really difficult to use in the same way as you could Haskell/Idris/ML.by mitchty 10y agoNo real higher kinded types means its really difficult to use in the same way as you could Haskell/Idris/ML.