See also this comment where I showed a way to doing such a thing using constants for the type parameters instead of types, using the currently-unstable "const g

See also this comment where I showed a way to doing such a thing using constants for the type parameters instead of types, using the currently-unstable "const generics" feature. https://news.ycombinator.com/item?id=22747405 https://news.ycombinator.com/item?id=22747405