part of type class