small fixes (cabal file, monadic representation)