Warning: The install command is a part of the legacy v1 style of cabal usage.

Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.

For more information, see: https://wiki.haskell.org/Cabal/NewBuild

Resolving dependencies...
Starting     dependent-sum-0.5
Building     dependent-sum-0.5
Completed    dependent-sum-0.5
Downloading  typelits-witnesses-0.4.0.0
Downloaded   typelits-witnesses-0.4.0.0
Starting     typelits-witnesses-0.4.0.0
Building     typelits-witnesses-0.4.0.0
Completed    typelits-witnesses-0.4.0.0