> 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

> 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 https://hoogle.haskell.org/?hoogle=a%20-%3E%20a