How would you look for an item in a tuple by the item's type, and return the item's index within that tuple?

Access tuple-like container by type to return an index

by Krzysztof Ostrowski

From the article:

Presentation of a technique that composes an application of a lazy fold expression, and an idea of type embellishment that introduces an implicit context in which the current tuple element is embedded.