Instance уравнения в Haskell -> Неполная модели

Question

Я пытаюсь объявить экземпляр, используя Haskell, здесь я имею мой тип данных:

data Classification = Aproved Int 
        | Denied 
        | Missing 
        deriving (Show) 

и экземпляр объявленный:

instance Eq Classificacao where 
    Denied  == Denied = True 
    Missing == Missing = True 
    Aproved x == Aproved y = y==x 

When Я пытаюсь сравнить конструкторы данных, это дает мне ошибку Неисчерпывающий рисунок, если я использую в GHCi Denied==Missing

Что мне делать? Я все еще учусь.

Answer 1

Добавить финальный матч шаблона для проверки на любую другую комбинацию входов в качестве False, например, так:

instance Eq Classification where 
Denied  == Denied = True 
Missing == Missing = True 
Aproved x == Aproved y = y==x  
x == y = False