Resolving dependencies...
Downloading fingertree-0.1.2.0...
Configuring fingertree-0.1.2.0...
Building fingertree-0.1.2.0...
Installed fingertree-0.1.2.0