If you're interested in a tool like that, check out Hoogle: https://www.haskell.org/hoogle/ https://www.haskell.org/hoogle/. It allows you to search by signatur

If you're interested in a tool like that, check out Hoogle: https://www.haskell.org/hoogle/ https://www.haskell.org/hoogle/. It allows you to search by signature, including using generic types (e.g. their front page example is (a -> b) -> [a] -> [b], which will return map as a result, among others).