Asymptotic_Improvement_of_Computations_over_Free_Monads