[Typer] Decidable comme type classe