The Type Information Is Not Consistent With The Number Of Types