"Computation expressions" son una implementación de monad pattern.