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