Some early work on type safe diffing