そうか。型チェックといってしまうと語弊があるけど、
継承によるオブジェクトの多態ができるのがミソか。
しかし、オブジェクトの組み合わせで１態（？）ってのは大変そうだなぁ。。
なんか拡散するオブジェクト指向の境界レベルみたいね。