Allow searching for "typeclasses"

[mrbackend]

Say I am looking for an "applicative functor type", and I don't know its name. Now, they typically have a map2, an andMap or an apply function, so I can search for the name. But I really want to search for something like f a -> f (a -> b) -> f b or (a -> b -> c) -> f a -> f b -> f c, where f matches any type (but the same for all f's). Possible?

[klaftertief]

Not at the moment, but it's on the backlog of things.