Re: Should ghci understand this pthread library?