타입 A와 타입 B가 있을 뿐이다