> There was also a feature that allowed method lookup by putting in the inputs and expected outputs (I still haven't seen anything like this).

Do you mean like hoogle [0]? Or does what you're talking about operate on values rather than type signatures?

[0] https://hoogle.haskell.org/?hoogle=a%20-%3E%20a