3 ms·

While the concept is neat, I struggle a bit to see how it can be useful in practice. Do you have an example for the sufficiently constrained case? That sounds l

While the concept is neat, I struggle a bit to see how it can be useful in practice. Do you have an example for the sufficiently constrained case? That sounds like the most interesting case by far.

still_grokking 4y ago
You had a look at Hoogle? https://hoogle.haskell.org/ https://hoogle.haskell.org/ For some type signatures there is (are) only one (or only a few) meaningful implementation(s).