La mayoría de los recursos con respecto a las nociones categóricas en la programación describen mónadas, pero nunca he visto una descripción categórica de los transformadores de mónadas.
¿Cómo podrían describirse los transformadores de mónada en los términos de la teoría de categorías?
En particular, me interesaría:
- la relación entre los transformadores de mónada y sus mónadas de base correspondientes;
- la relación entre ellos y las mónadas se están transformando en nuevas mónadas;
- Pilas transformadoras de mónada.