추론된 타입이 해당 상수의 필요한 타입과 일치하지 않는 상수 대입을 보고합니다. 필요한 상수 타입을 RBS 타입 시그니처에서 가져옵니다.