[Haskell-cafe] type classes

[Henning Thielemann]

On Wed, 2 Jul 2008, Cotton Seed wrote:

> Hi everyone,
>
> I'm working on a computational algebra program and I've run into a problem.
> In my program, I have types for instances of algebraic objects, e.g. ZModN
> for modular integers, and types for the objects themselves, e.g. ZModNTy for
> the ring of modular integers.

Maybe you are also interested in:
   http://darcs.haskell.org/numericprelude/src/Number/ResidueClass.hs
   http://darcs.haskell.org/numericprelude/src/Number/ResidueClass/