Hi > Monomorphism restriction? Replacing fold with foldRegsUsed would work > because there's a type signature for foldRegsUsed.
That looks like it. Another solution would be: > fold = foldRegsUsed becomes: > fold x = foldRegsUsed x Now the monomorphism restriction doesn't kick in because fold has an explicit argument. Thanks Neil _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe