Reverse heterogeneous gadt list with recursively dependent elements...

Haskell HList: how to lookup a value...

Is it possible to have elements of a heterogeneous list depend on the type of preceding elements?...