Removes typecheck