FW: MonadFix

[Ross Paterson]

On Mon, Mar 04, 2002 at 09:40:48AM +0000, Levent Erkok wrote:
> I agree that nthFix is mainly useful in proofs. Similarly for
> paramFix. But if we are having a separate library for "fix"-like
> functions, I don't see any harm in putting them there as well.

I was thinking that if there's only one really useful function (fix)
it hardly warrants a whole module.

> I used the name "traceFix" to avoid clash with the "trace" debugging
> primitive. It sounds too much like a debugging function in any case.

Ah, but we have modules for namespace control.  On the other hand, this
function is probably of no use to any module other than Arrow (so might
as well be there).