Resolving dependencies...
Starting     ghc-tcplugins-extra-0.4
Starting     first-class-families-0.8.0.0
Starting     hashable-1.3.0.0
Starting     Cabal-3.0.2.0
Building     ghc-tcplugins-extra-0.4
Building     first-class-families-0.8.0.0
Building     hashable-1.3.0.0
Building     Cabal-3.0.2.0
Completed    first-class-families-0.8.0.0
Starting     primitive-0.7.1.0
Completed    ghc-tcplugins-extra-0.4
Starting     splitmix-0.1.0.3
Building     primitive-0.7.1.0
Building     splitmix-0.1.0.3
Completed    hashable-1.3.0.0
Starting     syb-0.7.1
Building     syb-0.7.1
Completed    splitmix-0.1.0.3
Starting     th-abstraction-0.4.0.0
Building     th-abstraction-0.4.0.0
Completed    syb-0.7.1
Starting     type-errors-pretty-0.0.1.1
Building     type-errors-pretty-0.0.1.1
Completed    type-errors-pretty-0.0.1.1
Starting     async-2.2.2
Building     async-2.2.2
Completed    th-abstraction-0.4.0.0
Starting     random-1.2.0
Building     random-1.2.0
Completed    async-2.2.2
Starting     type-errors-0.2.0.0
Building     type-errors-0.2.0.0
Completed    type-errors-0.2.0.0
Completed    primitive-0.7.1.0
Starting     atomic-primops-0.8.4
Building     atomic-primops-0.8.4
Completed    random-1.2.0
Starting     QuickCheck-2.14.1
Building     QuickCheck-2.14.1
Completed    atomic-primops-0.8.4
Starting     unagi-chan-0.4.1.3
Building     unagi-chan-0.4.1.3
Completed    unagi-chan-0.4.1.3
Completed    QuickCheck-2.14.1
Completed    Cabal-3.0.2.0
Starting     cabal-doctest-1.0.8
Building     cabal-doctest-1.0.8
Completed    cabal-doctest-1.0.8
Downloading  polysemy-1.4.0.0
Downloaded   polysemy-1.4.0.0
Starting     polysemy-1.4.0.0
Building     polysemy-1.4.0.0
Completed    polysemy-1.4.0.0
Downloading  polysemy-plugin-0.2.5.2
Downloaded   polysemy-plugin-0.2.5.2
Starting     polysemy-plugin-0.2.5.2
Building     polysemy-plugin-0.2.5.2
Completed    polysemy-plugin-0.2.5.2