Add Model.hs.