Something like a typed heterogeneous list is often build in a similar way. A simpler version is probably a simple non empty list where you always have the guar

Something like a typed heterogeneous list is often build in a similar way. A simpler version is probably a simple non empty list where you always have the guaranty of at least one element.