Resolving dependencies...
Starting     base-orphans-0.9.2
Starting     tagged-0.8.8
Starting     bytestring-0.12.1.0
Building     base-orphans-0.9.2
Building     tagged-0.8.8
Building     bytestring-0.12.1.0
Completed    tagged-0.8.8
Starting     boring-0.2.2
Completed    base-orphans-0.9.2
Starting     some-1.0.6
Building     boring-0.2.2
Building     some-1.0.6
Completed    boring-0.2.2
Completed    some-1.0.6
Completed    bytestring-0.12.1.0
Starting     os-string-2.0.6
Starting     binary-0.8.9.2
Building     os-string-2.0.6
Building     binary-0.8.9.2
Completed    os-string-2.0.6
Starting     filepath-1.5.3.0
Completed    binary-0.8.9.2
Starting     text-2.1.1
Building     filepath-1.5.3.0
Building     text-2.1.1
Completed    filepath-1.5.3.0
Completed    text-2.1.1
Starting     hashable-1.5.0.0
Building     hashable-1.5.0.0
Completed    hashable-1.5.0.0
Starting     constraints-0.14.2
Building     constraints-0.14.2
Completed    constraints-0.14.2
Starting     constraints-extras-0.4.0.1
Building     constraints-extras-0.4.0.1
Completed    constraints-extras-0.4.0.1
Starting     dependent-sum-0.7.2.0
Building     dependent-sum-0.7.2.0
Completed    dependent-sum-0.7.2.0
Downloading  typelits-witnesses-0.4.1.0
Downloaded   typelits-witnesses-0.4.1.0
Starting     typelits-witnesses-0.4.1.0
Building     typelits-witnesses-0.4.1.0
Completed    typelits-witnesses-0.4.1.0