This is great - checking out Hoogle now.

I love abstractions, although at times they become a barrier to edge use cases. I guess the art is determining how much to abstract.

Perhaps I am oversimplifying the way I was imagining the search. In my mind it could simply be a pattern match (including special characters) and return the results. Then the zoom in/out capability would allow you to determine if the result is applicable.