A type checker is much more algorithmically bound / difficult to parallelise, but I'm sure there are still wins to be had in the future.