Last week I went to TFP 2011 , and gave a talk on Hoogle entitled "Finding Functions from Types". The slides are now available online . These slides give some information about how the type searching works in Hoogle, and I intend to write further details in the future.