Resolving dependencies...
Starting     fail-4.9.0.0
Starting     StateVar-1.2
Starting     tagged-0.8.6
Starting     semigroups-0.19.1
Building     fail-4.9.0.0
Building     StateVar-1.2
Building     semigroups-0.19.1
Building     tagged-0.8.6
Completed    fail-4.9.0.0
Starting     trivial-constraint-0.4.0.0
Building     trivial-constraint-0.4.0.0
Completed    semigroups-0.19.1
Starting     void-0.7.3
Completed    StateVar-1.2
Starting     contravariant-1.5.2
Building     void-0.7.3
Completed    trivial-constraint-0.4.0.0
Building     contravariant-1.5.2
Completed    void-0.7.3
Completed    tagged-0.8.6
Completed    contravariant-1.5.2
Downloading  constrained-categories-0.4.1.0
Downloaded   constrained-categories-0.4.1.0
Starting     constrained-categories-0.4.1.0
Building     constrained-categories-0.4.1.0
Completed    constrained-categories-0.4.1.0