Sam A. Horvath-Hunt

My WebExtension [bukubrow](https://github.com/SamHH/bukubrow-webext) uses `fp-ts` extensively. :slightly_smiling_face:

Looks like [fp-ts-std/Record::pick](https://samhh.github.io/fp-ts-std/modules/Record.ts.html#pick), named after the `Pick` type. The type signature is very similar to your proposal. There it's just [implemented](https://github.com/samhh/fp-ts-std/blob/3e2096ba16c38a6d5a9389755b066f9b5ab6ad7f/src/Record.ts#L69) with a cheap loop and an assertion.

This issue unfortunately transcends fp-ts. The Haskell Foundation has settled on Slack as well, although understandably their rationale was that they need to pick their battles as a community. For...

Default exports are _usually_ an anti-pattern. I think in a language where you can't import everything directly into the local environment, the case can be made that this would be...

The two doc generation ideas are good ones, FYI that'd probably be within the remit of [docs-ts](https://github.com/gcanti/docs-ts).

@oana-sas Replace `TE.taskEither` with either `TE.ApplySeq` or `TE.ApplyPar`. The error message isn't very helpful, I only figured this out by looking at [sequenceT's example](https://gcanti.github.io/fp-ts/modules/Apply.ts.html#sequencet) in which you'll see `sequenceT(O.Apply)`.

I'm split. In favour, this addition aids readability and makes it easier to spot dangling values where for example you may have refactored `a -> b` into `a -> IO...

The implementation detail right now has a helpful side effect of being very easy to walk back from if a team decides they don't want to go all-in on fp-ts,...

_If_ we want a `run` function, it could perhaps be a single overloaded function?

I think this behaviour may have been present in `takeLeftWhile` for longer.