export const constrain = <Constraint>() => <T extends Constraint>(arg: T) => arg