> how do I make higher-kinded types In Nelua you can create new specialized types using compile time parameters, they are called "generics", you can use this f

> how do I make higher-kinded types In Nelua you can create new specialized types using compile time parameters, they are called "generics", you can use this for example to create a specialized vector type. > and typeclasses there? Yes, but with some metaprogramming. In Nelua you can create a "concept", that is just a compile time function called to check whether a type matches the concept.