Partial data type refactorings