抽象型(内部を覗けないユーザー定義の型)
+ 型チェックがあればOOはできるというだけかと。。。