Understanding Type Inference in `evaluatePrimitive`

const evaluatePrimitive = Match.type<JsonPrimitiveType>().pipe(
  Match.when(String.isString, Function.identity),
  Match.orElse(() => true)
);

const evaluatePrimitive: (input: string | number | boolean | null) => unknown