> you cannot reuse field names in a second record Sure you can, it just has to be defined in a separate module (because Haskell namespaces correspond directly

> you cannot reuse field names in a second record Sure you can, it just has to be defined in a separate module (because Haskell namespaces correspond directly to modules). It's still annoying that types don't introduce a separate namespace but it is merely annoying.