The unittyped
package requires GHC >= 7.6, it uses DataKinds
(well, DataKinds
first appeared in 7.4, but the implementation was not yet complete; maybe unittyped
would also work with 7.4) and explicitly depends on base >= 4.6 && < 4.7
.
As noted parenthetically above, it might also work with ghc-7.4, to test that
$ cabal unpack unittyped
$ cd unittyped-0.1
-- edit the .cabal file to allow base-4.5.*
-- and bump the version, so that cabal doesn't think it cannot work with base-4.5.*
$ cabal install
That may or may not work.
The safe option is to install ghc-7.6.1, but that would mean dropping the Haskell Platform.