Advice on replacing ghc-split