컴파일 타임 검증

🦀 Rust Type-Driven Design: 잘못된 상태를 컴파일 타임에 차단