Resolving dependencies... Starting NumInstances-1.4 Starting call-stack-0.4.0 Starting newtype-generics-0.6.2 Starting ordered-containers-0.2.3 Starting safe-0.3.19 Starting th-abstraction-0.5.0.0 Starting th-compat-0.1.4 Starting void-0.7.3 Starting Boolean-0.2.4 Starting transformers-compat-0.7.2 Starting syb-0.7.2.3 Building safe-0.3.19 Building NumInstances-1.4 Building newtype-generics-0.6.2 Building call-stack-0.4.0 Building ordered-containers-0.2.3 Building th-abstraction-0.5.0.0 Building void-0.7.3 Building syb-0.7.2.3 Building Boolean-0.2.4 Building th-compat-0.1.4 Building transformers-compat-0.7.2 Completed call-stack-0.4.0 Completed void-0.7.3 Completed newtype-generics-0.6.2 Starting MemoTrie-0.6.10 Completed Boolean-0.2.4 Building MemoTrie-0.6.10 Completed NumInstances-1.4 Completed safe-0.3.19 Completed th-compat-0.1.4 Completed syb-0.7.2.3 Completed ordered-containers-0.2.3 Completed transformers-compat-0.7.2 Completed th-abstraction-0.5.0.0 Starting th-lift-0.8.3 Starting th-expand-syns-0.4.11.0 Completed MemoTrie-0.6.10 Starting vector-space-0.16 Building th-lift-0.8.3 Building th-expand-syns-0.4.11.0 Building vector-space-0.16 Completed th-lift-0.8.3 Completed th-expand-syns-0.4.11.0 Starting th-reify-many-0.1.10 Building th-reify-many-0.1.10 Completed vector-space-0.16 Completed th-reify-many-0.1.10 Starting th-orphans-0.13.14 Building th-orphans-0.13.14 Completed th-orphans-0.13.14 Starting th-desugar-1.15 Building th-desugar-1.15 Completed th-desugar-1.15 Starting equational-reasoning-0.7.0.1 Building equational-reasoning-0.7.0.1 Completed equational-reasoning-0.7.0.1 Starting manifolds-core-0.6.1.0 Building manifolds-core-0.6.1.0 Completed manifolds-core-0.6.1.0 Downloading half-space-0.1.1.0 Downloaded half-space-0.1.1.0 Starting half-space-0.1.1.0 Building half-space-0.1.1.0 Completed half-space-0.1.1.0