[haskell-br] QConSP