걔들은 데이터와 데이터 타입을 항상 같이 달고 다니니까 반드시 객체의 형태로 존재할 수밖에 없음
컴파일 타임에 타입추론이 들어가는거하곤 완전다른듯