Muitos recursos relacionados a noções categóricas na programação descrevem mônadas, mas nunca vi uma descrição categórica de transformadores de mônada.
Como os transformadores de mônada podem ser descritos nos termos da teoria das categorias?
Em particular, eu estaria interessado em:
- a relação entre os transformadores de mônada e suas correspondentes mônadas de base;
- o relacionamento entre eles e as mônadas que estão transformando em novas mônadas;
- pilhas de transformadores de mônada.
fonte