[Types] Strictly typed store allows invalid values

I might be missing something, but shouldn’t following disallow invalidA and invalidB values to be used in a store? As it is at the moment I don’t get any error about them.

import create from 'zustand';

interface Store {
  count: number;
  increase: () => void;
}

const [useStore] = create<Store>(set => ({
  count: 0,
  invalidA: 0,
  increase: () => set(state => ({ count: state.count + 1 })),
  invalidB: () => set({ count: 0 })
}));

export default useStore;

[dai-shi]

@csr632 Check #174 . It would mitigate both issues with new middleware.

[dai-shi]

1. structural typing
2. context sensitive function

They are basically technical limitations, but could we somehow mitigate them?