This makes the typeclass mechanism able to use instances like [Is_true X -> Blah], where X reduces to X.