     let module = try Parser(source: file).parse()
     module.id = moduleID
     let parseTime = stopwatch.elapsed
+
+    if verbosity >= .verbose {
+      System.err.print("- Parsed in \(parseTime.humanFormat)")
+    }
 
     // Create the type constraints.
     stopwatch.reset()

    }
    let constraintCreationTime = stopwatch.elapsed

    // Solve the type constraints.
    stopwatch.reset()
    var solver = ConstraintSolver(constraints: context.typeConstraints, in: context)
    let result = solver.solve()
    let solvingTime = stopwatch.elapsed

    // Apply the solution of the solver (if any) and dispatch identifiers to their symbol.
    stopwatch.reset()

  let verbosity: ModuleLoaderVerbosity

  public func load(_ moduleID: ModuleIdentifier, in context: ASTContext) throws -> ModuleDecl {
    if verbosity >= .verbose {
      System.err.print("Loading module '\(moduleID.qualifiedName)' ...".styled("bold"))
    }

    // Start the stopwatch.
    var stopwatch = Stopwatch()

