Solution and cabal files