fields (RM_ReadOnly rm) =
  map (someFieldWithFlag AssignedByDatabase) (fields rm)
  where
    someFieldWithFlag flag (SomeField f) = SomeField (f `withFlag` flag)
fields (RM_ReadOnly rm) =
  map (someFieldWithFlag AssignedByDatabase) (fields rm)
  where
    someFieldWithFlag flag (SomeField f) = SomeField (f `withFlag` flag)
fields (RM_ReadOnly rm) =
  map (someFieldWithFlag AssignedByDatabase) (fields rm)
  where
    someFieldWithFlag flag (SomeField f) = SomeField (f `withFlag` flag)