That's https://hoogle.haskell.org/ https://hoogle.haskell.org/ plus dependent types (data constraints). Without human provided dependent typing, the search en

That's https://hoogle.haskell.org/ https://hoogle.haskell.org/ plus dependent types (data constraints). Without human provided dependent typing, the search engine would be almost as hard to write as a system to directly generate the code you need.