-
Keith Wansbrough authored
Generalise types of minusUFM and intersectUFM_C (this was applied long ago to FiniteMap, IIRC). Untested: I haven't got a build tree handy, so please shoot me if this 2-line change to two type signatures is type-incorrect. Sorry!
6eaccd1a