Yes, and those lists would be typesafe too. We could implement HLists flawlessly in Nim if it'd have either of these feature groups:
* pattern matching + nominal virtual abstractions("interfaces", but we only
have structural ones by concepts)
* pattern matching + existential types
* existential types + interfaces
* pattern matching + ML-like sum types
* variance on parametric polymorphism + sum types
* generic (co)variance + pattern matching
* supertype + pattern matching(half solution)
