functional programming - ¿Hay alguna estructura algebraica utilizada en la programación funcional di