Not all types need to have induction principles. The ones that do are nicer, of course, precisely because they correspond to values.