Tipos de esquema

Você usa esquemas para definir tipos e refinar sua definição derivando os tipos definidos anteriormente