Resolving dependencies...
Starting     ghc-tcplugins-extra-0.4.2
Starting     sop-core-0.5.0.2
Starting     finite-typelits-0.1.4.2
Starting     th-abstraction-0.4.3.0
Building     ghc-tcplugins-extra-0.4.2
Building     finite-typelits-0.1.4.2
Building     sop-core-0.5.0.2
Building     th-abstraction-0.4.3.0
Completed    finite-typelits-0.1.4.2
Completed    ghc-tcplugins-extra-0.4.2
Starting     ghc-typelits-natnormalise-0.7.6
Building     ghc-typelits-natnormalise-0.7.6
Completed    th-abstraction-0.4.3.0
Completed    sop-core-0.5.0.2
Starting     generics-sop-0.5.1.2
Building     generics-sop-0.5.1.2
Completed    ghc-typelits-natnormalise-0.7.6
Starting     ghc-typelits-knownnat-0.7.6
Building     ghc-typelits-knownnat-0.7.6
Completed    ghc-typelits-knownnat-0.7.6
Completed    generics-sop-0.5.1.2
Downloading  posable-1.0.0.1
Downloaded   posable-1.0.0.1
Starting     posable-1.0.0.1
Building     posable-1.0.0.1
Completed    posable-1.0.0.1