RE: how and where to {-# specialize #-} ?

Simon, thanks for the information on SPECIALISE pragmas.

The only workaround is to define T early, import it into A, and specialise A.f there.

What if A is a pre-defined module, say FiniteMap? Then I can't change its source text. (Which isn't even there.) (Of course, I can grab it from the source distribution.) It is sad that the usage of libraries containing polymorphic code (which is a good thing, for obvious software engineering reasons) seems to imply runtime overheads, by preventing specialisation. Best regards, -- -- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ -- -- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/209 --