Je ne crois pas me tromper en disant que ghc n'en utilise pas.
Idem pour scala (là, j'en suis sur vu que je connais l'équipe et leur avis sur les outils automatiques)