John Meacham writes: > you can use DrIFT to automatically create > bar_u to update a field and > bar_s to set a field. That is exactly what I need. Is there, by any chance, a solution that's based on Template Haskell too? Not that I'd have something against DrIFT; I'm just curious to know. Peter