https://hackage-content.haskell.org/package/Agda-2.7.20250701/candidate/docs/Agda-TypeChecking-Inlining.html
Agda.TypeChecking.Inlining
agdatypecheckinginlining
https://hackage-content.haskell.org/package/Agda-2.7.20250510/candidate/docs/Agda-TypeChecking-Serialise-Base.html
Agda.TypeChecking.Serialise.Base
agdatypecheckingbase
https://mail.haskell.org/pipermail/ghc-devs/2025-February/021936.html
GHC memory usage when typechecking from source vs. loading ModIfaces
memory usagefrom sourceghctypecheckingvs