Update Martingale.hs