In comp.lang.functional Joachim Durchholz <jo at durchholz.org> wrote: > [...] Even ML and Pascal have ways to circumvent the type system, [...] Show me a Standard ML program that circumvents the type system. -Vesa Karvonen