Is this definitely incompatible with the latest Core? We try to avoid upper bounds where at all possible.