| Nice feature but feel like a band-aid. In particular it makes SYB style | programming more difficult because field labels aren't types. | | Almost every other record syntax plan involves field labels as types so | you can do interesting type dispatch. Record systems are indeed an interesting area. You might like to contribute to the discussion centred here: http://hackage.haskell.org/trac/ghc/wiki/ExtensibleRecords | Tracking these open issues: | * too many pragma declarations | * recursive deriving | * labels | * : for reload in ghci | * not reloading all the modules on :r Discussing these issues by email is an excellent way to characterise the issue and evolve a proposed design. But the way to track them is to use Trac -- so do go ahead and submit bug reports and/or feature requests. Simon