[ perf ] Calculate total weight with no lazy singleton #798

Job	Run time
Prepare `pack`	10m 9s
Build DepTyCheck docs	21s
Build thirdparties	3m 12s
Build DepTyCheck lib	2m 25s
Aquire test sets for derivation	7s
Test DepTyCheck docs	1m 44s
Build PIL example	2m 58s
Test DepTyCheck lib	27m 26s
Test DepTyCheck's derivation (core)	11m 5s
Test DepTyCheck's derivation (distribution)	6m 49s
Test DepTyCheck's derivation (infra)	10m 39s
Test DepTyCheck's derivation (inputvalidation)	1m 22s
Test DepTyCheck's derivation (least-effort/print/adt)	9m 23s
Test DepTyCheck's derivation (least-effort/print/gadt)	20m 59s
Test DepTyCheck's derivation (least-effort/print/regression)	3m 47s
Test DepTyCheck's derivation (least-effort/run/adt)	9m 4s
Test DepTyCheck's derivation (least-effort/run/gadt)	13m 36s
Test DepTyCheck's derivation (least-effort/run/regression)	3m 39s
Test DepTyCheck's derivation (utils/arg-deps)	1m 21s
Test DepTyCheck's derivation (utils/canonicsig)	1m 26s
Test DepTyCheck's derivation (utils/cons-analysis)	1m 57s
Test DepTyCheck's derivation (utils/involved-types)	1m 25s
Test DepTyCheck's derivation (utils/up-to-renaming-ttimp-eq)	1m 32s
Test PIL example	1m 22s
	2h 27m 48s

Provide feedback