Update HDC.hs