Este programa é uma validação de dados simples baseada em funtores aplicativos e seletivos. Ele é feito em Haskell e é leve e fácil de usar. Ele ajuda a garantir que os dados inseridos sejam válidos e corretos antes de serem processados.  