Snatch ConVEX using Haskell and ajhc