Minor correction: the fac1 Haskell program could be transformed to have the same meaning as fac6, but not the same as fac5, nor to the generalization of 5 and 6 employing the free monad.