# Types

> For the complete documentation index, see [llms.txt](/llms.txt)

Motoko has a sound, expressive type system that prevents whole classes of bugs at compile time: null-pointer errors, missing-pattern errors, and uncoordinated stable-state changes across upgrades. This section covers each type form and the subtyping rules that connect them.