Delete Types.hs~