이 기사는 타입 시스템의 반례들에 관한 내용을 다루고 있습니다. 해당 내용은 관련 웹사이트와 하이라이트 게시물에 댓글이 하나 달려 있습니다.