Haskell permite escribir programas probabilísticos de una manera muy concisa y elegante a través de la mónada de probabilidades. Sin embargo, el problema de la inferencia —calcular la probabilidad de un evento luego de la ejecución de un programa— suele ser computacionalmente costoso debido a que para ello se deben explorar todas las posibles ejecuciones del programa. Una manera de mejorar el proceso de inferencia consiste en determinar las partes del programa que son independientes entre sí, para refactoriarlo y permitir así su inferencia de manera paralela. El objetivo de esta memoria es desarrollar una herramienta que implemente dicha refactorización. Para ello se va a partir del algoritmo presentado en este artículo (ver video de presentación), y se va a modificar para explotar la conmutatividad de la mónada de probabilidades.