Scala ひと巡り : 統合された型 (Unified Types)