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