Re: [Haskell-beginners] Implementing instance of '^' operator

-----Original Message----- From: pmcilroy@gmail.com Date: 3 January 2016 at 07:55:53

As a ‘hello world’ example for type definitions, I like to define a numeric type that can handle the mod p multiplicative group, where p is prime. This requires: • Implementing interface functions

[…] I can’t help with the question you’re asking, but I have a minor nitpick: You want to have negate (Modp p 0) = Modp p 0, and not Modp p p as in your current implementation. – Harald