Incompatibilidade de tipo de dados. O tipo de módulo de condição {1} fornece gera fados {2}, que são incompatíveis com o ...