Think of it like const generics in languages like rust or C++. You can make two data structures with a const parameter. If the parameter is not the same, they

Think of it like const generics in languages like rust or C++. You can make two data structures with a const parameter. If the parameter is not the same, they are not compatible (not the same type). The parameter can be tuned according to the specific needs of the application.