Mónadas en la programación funcional : una prueba formal de su equivalencia con las ternas de Kleisli - Vázquez Reyes, Cenobio Moisés (2016)