Update mrmrdisc.hs