Resolving dependencies...
Starting     Boolean-0.2.4
Starting     MonadPrompt-1.0.0.5
Starting     NumInstances-1.4
Starting     OneTuple-0.4.1.1
Starting     StateVar-1.2.2
Starting     call-stack-0.4.0
Starting     data-array-byte-0.1.0.1
Starting     cereal-0.5.8.3
Starting     data-default-class-0.1.2.0
Starting     erf-2.0.0.0
Starting     fail-4.9.0.0
Starting     ieee754-0.8.0
Starting     indexed-traversable-0.1.2.1
Starting     logict-0.8.1.0
Starting     microlens-0.4.13.1
Starting     ghc-tcplugins-extra-0.4.4
Starting     monad-loops-0.4.3
Starting     newtype-generics-0.6.2
Starting     ordered-containers-0.2.3
Starting     placeholders-0.1
Starting     parallel-3.2.2.0
Starting     pragmatic-show-0.1.2.1
Starting     safe-0.3.19
Starting     semigroups-0.20
Starting     singletons-3.0.1
Starting     splitmix-0.1.0.4
Starting     th-abstraction-0.4.5.0
Starting     th-compat-0.1.4
Starting     syb-0.7.2.3
Starting     trivial-constraint-0.7.0.0
Starting     type-equality-1
Starting     vector-stream-0.1.0.0
Starting     base-orphans-0.9.0
Starting     void-0.7.3
Starting     integer-logarithms-1.0.3.1
Starting     tagged-0.8.7
Starting     reflection-2.1.7
Starting     transformers-compat-0.7.2
Building     parallel-3.2.2.0
Building     StateVar-1.2.2
Building     data-array-byte-0.1.0.1
Building     pragmatic-show-0.1.2.1
Building     newtype-generics-0.6.2
Building     Boolean-0.2.4
Building     call-stack-0.4.0
Building     fail-4.9.0.0
Building     OneTuple-0.4.1.1
Building     tagged-0.8.7
Building     transformers-compat-0.7.2
Building     monad-loops-0.4.3
Building     integer-logarithms-1.0.3.1
Building     ieee754-0.8.0
Building     MonadPrompt-1.0.0.5
Building     erf-2.0.0.0
Building     NumInstances-1.4
Building     ghc-tcplugins-extra-0.4.4
Building     indexed-traversable-0.1.2.1
Building     placeholders-0.1
Building     microlens-0.4.13.1
Building     vector-stream-0.1.0.0
Building     trivial-constraint-0.7.0.0
Building     logict-0.8.1.0
Building     th-compat-0.1.4
Building     th-abstraction-0.4.5.0
Building     reflection-2.1.7
Building     data-default-class-0.1.2.0
Building     type-equality-1
Building     semigroups-0.20
Building     safe-0.3.19
Building     ordered-containers-0.2.3
Building     cereal-0.5.8.3
Building     splitmix-0.1.0.4
Building     void-0.7.3
Building     base-orphans-0.9.0
Building     singletons-3.0.1
Building     syb-0.7.2.3
Completed    fail-4.9.0.0
Completed    type-equality-1
Completed    newtype-generics-0.6.2
Starting     MemoTrie-0.6.10
Completed    void-0.7.3
Completed    MonadPrompt-1.0.0.5
Completed    trivial-constraint-0.7.0.0
Building     MemoTrie-0.6.10
Completed    call-stack-0.4.0
Completed    Boolean-0.2.4
Completed    integer-logarithms-1.0.3.1
Completed    data-default-class-0.1.2.0
Completed    monad-loops-0.4.3
Completed    semigroups-0.20
Completed    OneTuple-0.4.1.1
Completed    erf-2.0.0.0
Completed    NumInstances-1.4
Completed    StateVar-1.2.2
Starting     contravariant-1.5.5
Completed    base-orphans-0.9.0
Completed    placeholders-0.1
Completed    splitmix-0.1.0.4
Starting     random-1.2.1.1
Building     contravariant-1.5.5
Completed    microlens-0.4.13.1
Completed    safe-0.3.19
Completed    singletons-3.0.1
Building     random-1.2.1.1
Completed    tagged-0.8.7
Starting     foldable1-classes-compat-0.1
Starting     assoc-1.1
Starting     distributive-0.6.2.1
Completed    parallel-3.2.2.0
Completed    data-array-byte-0.1.0.1
Starting     hashable-1.4.2.0
Starting     binary-orphans-1.0.4.1
Starting     primitive-0.8.0.0
Completed    th-compat-0.1.4
Building     foldable1-classes-compat-0.1
Building     assoc-1.1
Building     distributive-0.6.2.1
Completed    syb-0.7.2.3
Completed    ieee754-0.8.0
Building     binary-orphans-1.0.4.1
Building     hashable-1.4.2.0
Building     primitive-0.8.0.0
Completed    logict-0.8.1.0
Completed    transformers-compat-0.7.2
Starting     transformers-base-0.4.6
Starting     mmorph-1.2.0
Completed    vector-stream-0.1.0.0
Completed    pragmatic-show-0.1.2.1
Completed    ordered-containers-0.2.3
Building     mmorph-1.2.0
Building     transformers-base-0.4.6
Completed    indexed-traversable-0.1.2.1
Completed    reflection-2.1.7
Completed    th-abstraction-0.4.5.0
Starting     th-expand-syns-0.4.11.0
Starting     th-lift-0.8.3
Starting     microlens-th-0.4.3.13
Completed    MemoTrie-0.6.10
Starting     vector-space-0.16
Building     th-expand-syns-0.4.11.0
Building     th-lift-0.8.3
Building     microlens-th-0.4.3.13
Completed    cereal-0.5.8.3
Building     vector-space-0.16
Completed    contravariant-1.5.5
Starting     constrained-categories-0.4.2.0
Completed    assoc-1.1
Completed    binary-orphans-1.0.4.1
Completed    transformers-base-0.4.6
Starting     monad-control-1.0.3.1
Building     constrained-categories-0.4.2.0
Completed    distributive-0.6.2.1
Starting     comonad-5.0.8
Building     monad-control-1.0.3.1
Completed    mmorph-1.2.0
Building     comonad-5.0.8
Completed    foldable1-classes-compat-0.1
Completed    th-expand-syns-0.4.11.0
Starting     th-reify-many-0.1.10
Completed    th-lift-0.8.3
Building     th-reify-many-0.1.10
Completed    ghc-tcplugins-extra-0.4.4
Starting     ghc-typelits-natnormalise-0.7.8
Starting     ghc-typelits-presburger-0.7.2.0
Completed    hashable-1.4.2.0
Starting     these-1.2
Starting     constraints-0.13.4
Starting     unordered-containers-0.2.19.1
Completed    microlens-th-0.4.3.13
Starting     number-show-0.1.0.0
Building     ghc-typelits-natnormalise-0.7.8
Building     ghc-typelits-presburger-0.7.2.0
Building     these-1.2
Building     constraints-0.13.4
Building     unordered-containers-0.2.19.1
Building     number-show-0.1.0.0
Completed    vector-space-0.16
Completed    monad-control-1.0.3.1
Completed    random-1.2.1.1
Starting     rvar-0.3.0.2
Starting     QuickCheck-2.14.3
Building     rvar-0.3.0.2
Building     QuickCheck-2.14.3
Completed    th-reify-many-0.1.10
Starting     th-orphans-0.13.14
Completed    comonad-5.0.8
Starting     bifunctors-5.6.1
Building     th-orphans-0.13.14
Completed    number-show-0.1.0.0
Building     bifunctors-5.6.1
Completed    primitive-0.8.0.0
Starting     scientific-0.3.7.0
Starting     MonadRandom-0.6
Starting     vector-0.13.0.0
Building     MonadRandom-0.6
Building     scientific-0.3.7.0
Building     vector-0.13.0.0
Completed    these-1.2
Starting     strict-0.5
Completed    rvar-0.3.0.2
Building     strict-0.5
Completed    constraints-0.13.4
Completed    constrained-categories-0.4.2.0
Completed    unordered-containers-0.2.19.1
Completed    ghc-typelits-natnormalise-0.7.8
Starting     ghc-typelits-knownnat-0.7.8
Completed    scientific-0.3.7.0
Starting     bytes-0.17.2
Completed    MonadRandom-0.6
Starting     random-shuffle-0.0.4
Building     ghc-typelits-knownnat-0.7.8
Building     bytes-0.17.2
Building     random-shuffle-0.0.4
Completed    th-orphans-0.13.14
Starting     th-desugar-1.13.1
Building     th-desugar-1.13.1
Completed    strict-0.5
Completed    bifunctors-5.6.1
Starting     profunctors-5.6.2
Starting     semigroupoids-6.0.0.1
Completed    ghc-typelits-presburger-0.7.2.0
Building     profunctors-5.6.2
Building     semigroupoids-6.0.0.1
Completed    random-shuffle-0.0.4
Completed    QuickCheck-2.14.3
Completed    bytes-0.17.2
Completed    ghc-typelits-knownnat-0.7.8
Completed    profunctors-5.6.2
Starting     invariant-0.6.1
Building     invariant-0.6.1
Completed    semigroupoids-6.0.0.1
Starting     free-5.2
Building     free-5.2
Completed    vector-0.13.0.0
Starting     indexed-traversable-instances-0.1.1.2
Starting     foldl-1.4.15
Starting     math-functions-0.3.4.2
Building     math-functions-0.3.4.2
Building     indexed-traversable-instances-0.1.1.2
Building     foldl-1.4.15
Completed    invariant-0.6.1
Completed    indexed-traversable-instances-0.1.1.2
Completed    th-desugar-1.13.1
Starting     equational-reasoning-0.7.0.1
Starting     singletons-th-3.1
Building     equational-reasoning-0.7.0.1
Building     singletons-th-3.1
Completed    math-functions-0.3.4.2
Starting     random-fu-0.3.0.1
Building     random-fu-0.3.0.1
Completed    foldl-1.4.15
Starting     list-t-1.0.5.6
Building     list-t-1.0.5.6
Completed    free-5.2
Starting     adjunctions-4.4.2
Building     adjunctions-4.4.2
Completed    equational-reasoning-0.7.0.1
Starting     manifolds-core-0.6.1.0
Starting     type-natural-1.3.0.0
Building     manifolds-core-0.6.1.0
Building     type-natural-1.3.0.0
Completed    list-t-1.0.5.6
Completed    random-fu-0.3.0.1
Completed    adjunctions-4.4.2
Starting     kan-extensions-5.2.5
Building     kan-extensions-5.2.5
Completed    manifolds-core-0.6.1.0
Starting     half-space-0.1.1.0
Building     half-space-0.1.1.0
Completed    singletons-th-3.1
Starting     singletons-base-3.1
Completed    type-natural-1.3.0.0
Completed    half-space-0.1.1.0
Building     singletons-base-3.1
Completed    kan-extensions-5.2.5
Starting     lens-5.2.2
Building     lens-5.2.2
Completed    lens-5.2.2
Starting     linear-1.22
Building     linear-1.22
Completed    linear-1.22
Starting     spatial-rotations-0.1.0.2
Starting     free-vector-spaces-0.1.5.2
Building     free-vector-spaces-0.1.5.2
Building     spatial-rotations-0.1.0.2
Completed    spatial-rotations-0.1.0.2
Completed    free-vector-spaces-0.1.5.2
Completed    singletons-base-3.1
Starting     linearmap-category-0.6.0.1
Building     linearmap-category-0.6.0.1
Completed    linearmap-category-0.6.0.1
Starting     manifolds-0.6.1.0
Building     manifolds-0.6.1.0
Completed    manifolds-0.6.1.0
Downloading  manifold-random-0.6.1.0
Downloaded   manifold-random-0.6.1.0
Starting     manifold-random-0.6.1.0
Building     manifold-random-0.6.1.0
Completed    manifold-random-0.6.1.0