> Hayoo has them all [ .. ] but Hoogle is better with types? it seems Hayoo only does exact (string?) match on types, while Hoogle also knows about polymorphisms, permutations etc. E.g., search for "String -> Int". Hoogle finds length :: [a]-> Int as well, I think Hayoo doesn't. J.W.