Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).