∀(a : Type) → List a → List { index : Natural, value : a }