Cabal interface changes proposal