Resolving dependencies...
Starting     StateVar-1.2.2
Starting     fail-4.9.0.0
Starting     semigroups-0.20
Starting     tagged-0.8.7
Starting     void-0.7.3
Starting     trivial-constraint-0.7.0.0
Building     fail-4.9.0.0
Building     tagged-0.8.7
Building     void-0.7.3
Building     StateVar-1.2.2
Building     trivial-constraint-0.7.0.0
Building     semigroups-0.20
Completed    fail-4.9.0.0
Completed    void-0.7.3
Completed    trivial-constraint-0.7.0.0
Completed    semigroups-0.20
Completed    StateVar-1.2.2
Starting     contravariant-1.5.5
Building     contravariant-1.5.5
Completed    tagged-0.8.7
Completed    contravariant-1.5.5
Downloading  constrained-categories-0.4.2.0
Downloaded   constrained-categories-0.4.2.0
Starting     constrained-categories-0.4.2.0
Building     constrained-categories-0.4.2.0
Completed    constrained-categories-0.4.2.0