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