typecheck removed