Definition fileWFDataTyped (f : fileT) : Prop :=
  let type := infoStructure (fileInfo f) in
    Forall (fun e => structureValueHasStructureType e type) (fileData f).
