2009/11/27 Daniel Schüssler <anotheraddress@gmx.de>

I think punning is a worthwhile goal on its own, since I find myself wasting
quite some thought on whether to prefix a record field name somehow, and if I
do, what I should use as a short but sufficiently unique prefix.

I agree, especially since it looks like the record situation is not about to be solved; for example by looking at the discussion generated by Simon Peyton-Jones's TDNR proposal (which I like, but I don't feel like my opinion should count on that matter )

David.