got upload to typecheck, but not actually working for now