first-class alternative