Este programa é escrito em Haskell e utiliza o recurso de TypeLits para permitir que um tipo tenha apenas um  número finito de valores, esses valores são indexados por números naturais, ou seja, números inteiros positivos. Isso pode ser útil em diversas situações onde se deseja trabalhar com um conjunto finito de valores e precisa de uma forma de acessá-los de forma rápida e eficiente.  