working typechekcer