Hi Bob,
1. Searching using a package name that isn't all lower case results in nothing (e.g. (a -> b) -> f a -> f b +InfixApplicative gives no results, while (a -> b) -> f a -> f b +infixapplicative gives 2).
Yes, if you do +InfixApplicative it assumes you mean only in the module InfixApplicative, not the package. Module is upper case, package starts with lowercase.
2. Searching with the +package syntax seems to remove all other possible results. Perhaps it would be nice to show results from the default library set below.
Add +default to search the default too.
If you get the package name wrong (i.e. specify a package that hoogle can't see), it would be nice for it to report something like google does -- maybe you meant xyz.
Definately! The whole area needs an overhall. Thanks Neil