Struct hlist::There

pub struct There<T>(_);

Used as an index into an HList.

There<T> is 1 + T.

Users should normally allow type inference to create this type.