Now I see that, probably, GHC is correct. Thank you.
On Jun 30, 2005, Simon Peyton-Jones wrote:
path gets the inferred type
path :: forall a. [a]
This polymorphic type is instantiated once when it is passed to
'subterm' and again, quite separately, when it is passed to 'shows'.
btw, in Pugs sources
(http://search.cpan.org/CPAN/authors/id/A/AU/AUTRIJUS/Perl6-Pugs-6.2.7.tar.g
z)
there is Unicode.hs module wich can classify and convert full range of
Unicode symbols under any OS. i don't understand - is this module
already included in GHC 6.5? if not, it would be good