@fancy-queen-20734 : i'm biased against a concrete union type, because it doesn't feel particularly first class