Este programa permite a criação de listas indexadas de forma segura, garantindo que os tipos de dados contidos nelas estejam corretos. Isso é especialmente útil em linguagens de programação como Haskell, onde a segurança de tipos é valorizada. 