Types

型システム (placeholder)。