Resolving dependencies...
Downloading  colorful-monoids-0.2.1.3
Downloaded   colorful-monoids-0.2.1.3
Starting     colorful-monoids-0.2.1.3
Building     colorful-monoids-0.2.1.3
Completed    colorful-monoids-0.2.1.3