Type wrangling in Model.hs