ver erro da treta do typechecking