Right, they describe different aspects of how types work in a language.