TypeTuple alternative implementation in sandbox