型クラスとtraitの類似点