Resolving dependencies... Downloading beautifHOL-0.11... Configuring beautifHOL-0.11... Building beautifHOL-0.11... Preprocessing executable 'beautifHOL' for beautifHOL-0.11... TestHOL.hs:1:1: Ambiguous module name `Prelude': it was found in multiple packages: base haskell98-2.0.0.2 Failed to install beautifHOL-0.11 cabal: Error: some packages failed to install: beautifHOL-0.11 failed during the building phase. The exception was: ExitFailure 1