Sam A. Horvath-Hunt

https://devblogs.microsoft.com/typescript/announcing-typescript-4-7-beta/#instantiation-expressions Can do away with some thunks.

https://devblogs.microsoft.com/typescript/announcing-typescript-4-7-beta/#package-json-exports-imports-and-self-referencing Could improve the manifest configuration, it's a bit hacky at the moment.

We should probably be using these comments to help bundlers, see: - [fp-ts example](https://github.com/gcanti/fp-ts/pull/1555/files) - [Parcel docs](https://parceljs.org/features/scope-hoisting/#pure-annotations) - [Rollup docs](https://rollupjs.org/configuration-options/#treeshake) How to do this without butchering the readability of the...

For e.g. `sequenceS`.

ReaderIO asksIO

3

And others.

Triple module

1

Like Tuple.

From fp-ts-contrib. Probably some other stuff missing too. Duplicate the module while we're at it?

LocalStorage module

5

Take inspiration from [fp-ts-local-storage](https://gcanti.github.io/fp-ts-local-storage/modules/index.ts.html), but encode the possibility of failure into every applicable type signature.