Eu estava fazendo uma apresentação no F # e discutia o tipo de opção quando alguém na platéia me perguntou se o tipo de opção é a implementação da mônada talvez do F #. Eu sei que não é o caso, mas eu queria perguntar como os dois conceitos estão relacionados. Quero dizer, parece-me que um tipo de...