# 14.3. Type system

Morloc Manual > Compiler Architecture | https://morloc-project.github.io/docs/compiler-architecture/compiler-types.html | prev: https://morloc-project.github.io/docs/compiler-architecture/compiler-parsing.md | next: https://morloc-project.github.io/docs/compiler-architecture/compiler-effects.md

**STUB**: Specifies the type system: the typing rules, polymorphism and how quantifiers are inferred, typeclasses and instance resolution (including how overlap is rejected), records and rows, kinds, and dimension-indexed types. Defines how a general (language-neutral) type maps to a concrete type in each language, and what makes two types equivalent.