Record decoder (n : nat) W := { decode : W -> nat }.
Existing Class decoder.