Added mm.hs