#hoogle #haskell #library search #package search #API search #function search #lambda calculus