Merging Type' and Field types, and using this to correct the derive mechanism