Greetings.
What happens ifa type is made an instance of
a typeclass in two different modules with different implementations? In static
linking scenarios it will be caught by the compiler. I don't know whether we can
do dynamic loading in Haskell, but it seems there will be inconsistencies
From: Cagdas Ozgenc [EMAIL PROTECTED]
| Greetings.
|
| What happens if a type is made an instance of a typeclass in two
| different modules with different implementations?
That's OK, provided that the two instance declarations are never in
scope together, i.e. neither of the modules imports