[erlang-questions] Spec is diabolical IMHO

[Raoul Duke]

the real technical solution would be for somebody to port the ideas of
Typed Racket over to Lisp Flavoured Erlang. :-)