Add algebraicData.hs