Should ghci understand this pthread library?