EEP 8 Types and function specifications is now in the repository. http://www.erlang.org/eeps/eep-0008.html -- / Raimo Niskanen, Erlang/OTP, Ericsson AB