This is just a note to myself to verify that the generalized flag types from #235 are the best they can be before 1.8.