Re: Cabal semantics for multiple compilers