While this isn't exactly what you like, I thought I'd throw it out there because I find it a fair substitute, especially when paired with Dialyzer - a static code analysis tool: http://erlang.org/doc/man/dialyzer.html