Resolving dependencies...
Downloading colorful-monoids-0.1.0.1...
Configuring colorful-monoids-0.1.0.1...
Building colorful-monoids-0.1.0.1...
Installed colorful-monoids-0.1.0.1