A Haskell implementation of CVX