@maxd @finestructure @mattiem Though Haskell's terseness and focus on generality might be uniquely favorable for a tool like this. For any reasonably simple type signature, there is probably a function either in the standard library or some package, making it easy to find the name for something I'm looking for.

For example, say I wanna do the compactMap equivalent in Haskell. With Hoogle I just search for `(a -> Maybe a) -> [a] -> [a]` and it tells me that the function is called `mapMaybe`.