Types within WEIGHT-RIGHT