Cabal is one example, which requires packages like `base` to be specified explicitly. Cabal runs a dependency solver to satisfy most dependencies, but for comp

Cabal is one example, which requires packages like `base` to be specified explicitly. Cabal runs a dependency solver to satisfy most dependencies, but for compiler-provided things like `base` it simply checks whether or not the requirement is satisfied by the compiler being used (if not, it bails out).