type GalaxyView
The views, as a type. keyof rather than a written union, because the union
was the fourth place the two ids were spelled out — beside the record, beside
Observatory.viewGalaxy's guard and beside the harness's — and a third
instrument added here would have been rejected by both guards while
typechecking clean. Everything that enumerates them reads this record.