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