Resolving dependencies...
Downloading HoleyMonoid-0.1.2...
Configuring HoleyMonoid-0.1.2...
Building HoleyMonoid-0.1.2...
Installed HoleyMonoid-0.1.2