Resolving dependencies...
Configuring syb-0.6...
Building syb-0.6...
Installed syb-0.6
Downloading type-level-0.3.0...
Configuring type-level-0.3.0...
Building type-level-0.3.0...
Installed type-level-0.3.0
Downloading type-equality-check-0.0.0.4...
Configuring type-equality-check-0.0.0.4...
Building type-equality-check-0.0.0.4...
Installed type-equality-check-0.0.0.4