Yes, my comment wasn't meant to be totally serious. If static typing extensions were really used by everyone using Racket and/or Erlang, I wouldn't even have had to link to the extensions to begin with :)