-
Simon Peyton Jones authored
I needed it, and then didn't need it, so it's not currently called, but its generally useful kind of thing.
55c1f08c
I needed it, and then didn't need it, so it's not currently called, but its generally useful kind of thing.