- [`aec6f75`](https://github.com/lukemorales/exhaustive/commit/aec6f75dcd2b92415419024290db4b03ef6ef8d5) Thanks [@lukemorales](https://github.com/lukemorales)! - Improve inference of return types with new generic value

The return type of `exhaustive` and `exhaustive.tag` will now be inferred based on the return type of the callback function.

```ts

type Union = "IDLE" | "LOADING" | "SUCCESS" | "ERROR";

type HumanReadableUnion = "idle" | "loading" | "success" | "error";

function unionToHumanReadableString(union: Union): HumanReadableUnion {

return exhaustive(union, {

IDLE: () => "idle",

LOADING: () => "loading",

SUCCESS: () => "success",

ERROR: (value) => value.toLowerCase(), // type `string` is not assignable to type `HumanReadableUnion`

});

}

```

"version": "1.1.2",