[Haskell-cafe] type class constraints headache

[Rahul Kapoor]

>I am trying to understand the mechanism behind --
> why does the first example compile and what constraints does
> enumerateMethodNames add on a (which it does not inspect)?

enumerateMethodNames does not add on any constraints. If you
don't actually use "methods" GHC does not care what it's type is
but the moment you use it some place the compiler needs to infer
it's type which it is unable to do in your case because
the "undefined"s can be of any type.

HTH
Rahul