Full rules in annotations now to decouple from type params.