Re: get

[yglukhov]

Might come in handy: 
[https://github.com/yglukhov/typelists](https://github.com/yglukhov/typelists). 
At least it provides `typeListLen`