Esta pergunta já tem uma resposta aqui:

Um método de design na Programação Funcional étornando estados ilegais irrepresentáveis. Eu sempre vejo isso sendo realizado com oestrutura tipos, mas e quanto aovalor de tipos?

E se eu tiver uma sequência chamada E-mail e desejar apenas que ela mantenha um endereço de e-mail válido (verificado em alguns Regex)? Como posso fazer isso de maneira funcional (sem usar o OOP)?