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