Resolving dependencies... Starting th-abstraction-0.4.2.0 Starting hashable-1.3.1.0 Starting transformers-compat-0.6.6 Starting prettyprinter-1.7.0 Building th-abstraction-0.4.2.0 Building hashable-1.3.1.0 Building transformers-compat-0.6.6 Building prettyprinter-1.7.0 Completed transformers-compat-0.6.6 Starting type-equality-1 Completed hashable-1.3.1.0 Building type-equality-1 Completed type-equality-1 Starting constraints-0.13 Completed th-abstraction-0.4.2.0 Starting th-lift-0.8.2 Building constraints-0.13 Building th-lift-0.8.2 Completed prettyprinter-1.7.0 Completed th-lift-0.8.2 Completed constraints-0.13 Starting membership-0.0.1 Building membership-0.0.1 Completed membership-0.0.1