I wrote the Dialyzer pretty printer for Elixir, and I had to jump through myriad hoops to get that to play nicely, and I still do not have it 100% working in all cases yet, though there's way fewer bugs reported these days.