Compile-time-efficient proof-of-concept implementation for std::tuple