Update algebraicData.hs