substructural type

여지없이 딱 떨어지게 검산하는 타입시스템이므로(불필요한 가정없이, 방만하게 맘껏 가정을 사용하는 것 없이), 여지없는 타입/얄짤없는 타입

substructural type의 번역이 필요해요.