Other-types in OOP