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

[Johannes Waldmann]

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 --