Jesper Cockx wrote today about testing unifier. I need to add my following naive notice. I have reported of a positive test. But generally, it is also important to have a negative test: to discover programs which are type-checked but must not be type-checked. (?) Regadrs, ------ Sergei