On: Implementing a Type-safe printf in Rust

[kelnos]

Pretty sure that's what the author was doing. The quick HList implementation shown in the post was just to explain what HLists are; the author later mentions (and presumably uses) frunk.