Update Types.hs