s!Quando um tipo com um conteúdo simples restringe um tipo com conteúdo misto, deve ter uma definição de tipo simples embutido. ...