Re: [Typer] Decidable comme type classe