Update InterfaceDT.hs