Abusing Typescript's New `satisfies` Operator