RE: Advice on replacing ghc-split