Yes, Dialyzer is quite cool. However it is run as a separate tool on your Erlang source right? What I'm aiming for is something that can be used interactively while at the REPL - Qi/Shen is the inspiration here.