Scala ひと巡り : 抽象型 (Abstract Types)