via http://stackoverflow.com/questions/25474325/infer-hlist-type-when-building-the-list-with-a-macro
via http://stackoverflow.com/questions/25474325/infer-hlist-type-when-building-the-list-with-a-macro