Re: 2 bugs in ghc-4

[Lennart Augustsson]

I don't think your modularity bug is a bug at all.
It's simply the monomorphism restriction showing up.
Change your definition of toZ to
  toZ :: Integral a => a -> Z
  toZ = toInteger

and (I think) it'll work.

        -- Lennart