Haskell - An Interesting Space to Be In, Right?

There are efforts to do kind of this kind of example guided synthesis, right? Especially in a functional language. But you know, the problem is also like, how do we scale that approach to a language like Haskell, right? Where? Yeah, if you have a longer toy, right? It's a gazillion type classes and functions which are highly overloaded. Sequence which will fit anywhere, you know, all of these things.