TypcheckTest was fout