Typle? I thought it is called "TypeTuple" : )