Update ADT.hs