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     kind-apply-0.3.2.0
Starting     th-abstraction-0.3.1.0
Starting     logict-0.7.0.2
Building     kind-apply-0.3.2.0
Building     th-abstraction-0.3.1.0
Building     logict-0.7.0.2
Completed    kind-apply-0.3.2.0
Starting     kind-generics-0.4.0.0
Building     kind-generics-0.4.0.0
Completed    logict-0.7.0.2
Starting     smallcheck-1.1.5
Building     smallcheck-1.1.5
Completed    th-abstraction-0.3.1.0
Completed    kind-generics-0.4.0.0
Starting     kind-generics-th-0.2.1.0
Building     kind-generics-th-0.2.1.0
Completed    smallcheck-1.1.5
Completed    kind-generics-th-0.2.1.0
Downloading  smallcheck-kind-generics-0.0.0.1
Downloaded   smallcheck-kind-generics-0.0.0.1
Starting     smallcheck-kind-generics-0.0.0.1
Building     smallcheck-kind-generics-0.0.0.1
Completed    smallcheck-kind-generics-0.0.0.1