ビジネスロジックを含まない基本的な型定義や、型操作を実装する。