Talk:Object-oriented Abstract Type Hierarchy