Oh... I had completely forgotten it. Should I move it to `std.typetuple` as the more better place?