refactoring for types