Resolving dependencies...
Downloading type-level-sets-0.8.5.0...
Configuring type-level-sets-0.8.5.0...
Building type-level-sets-0.8.5.0...
Installed type-level-sets-0.8.5.0