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