Classes for types where we know all the values