Simon, Yes, your summary is exactly what I meant.
2013/6/26 Simon Peyton-Jones <simo...@microsoft.com>: > In fact, your observation allows us to regard our proposal as consisting of > two entirely orthogonal parts > * Generalise the type of record field selectors > * Introduce period as reverse function application As Anthony points out below, I think the orthogonality is also an important benefit. It could allow people like Edward and others who dislike DotAsPostFixApply to still use OverloadedRecordFields. I expect just the OverloadedRecordFields extension would fit reasonably well into the existing lens libraries somehow. Regards Dominique _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users