Haskell Wingman is a fun project that provides hole-based refinement to any editor that speaks LSP! It's a great example of how to describe complex features in terms of user benefit too. https://haskellwingman.dev/