Substructural type systems have recently gained traction in languages like Rust, and yet to many they seem arcane. This tutorial aims to demystify substructural types by developing them from the ground up, using live coding to illustrate the programming discipline underlying various substructural type systems, such as linear, affine, or strict ones. We also examine their foundations, with a particular emphasis on properties that can be exploited in a compiler or runtime system.