Edit Types.hs