Have you heard of hoogle (Haskell's type signature search)? It almost exactly feels like what you've described.