To contextualise this, it used to take minutes rather than seconds to load, typecheck and compute this project.