For the course Program Analysis and Transformation and took a look at the paper Haskell⁻¹: automatic function inversion in Haskell, which provides GHC Plugin for automatic inverse function generation in Haskell.
I implemented some test usecases and wrote a report of the benefits and limitations of the approach for automatic function inversion.