Derive promoted Bounded instances