I agree. I think the main reason for `run` within `vinyl`--but not really withing `Vinyl.Classes`--is that we already treat `PlainRec` as a bit of a special case, and perhaps a stepping-stone for learning the library. Compare all the special `PlainRec` lenses.