Stéphane Le Dorze

@gcanti thanks for sharing that thread

@mmkal that's information lost and you're one short function far from deriving what you're proposing from the current spec. So less value.

@mmkal the Type of the Product

@mmkal also consider that the proposed signature can lead to invalid representations as the array can be filled with heterogeneous tuples. `[[0, error1], ['bar', error2]]`

@mmkal The problem with making LabeledProduct using an Array is that it would rely on an implicit order from objects keys to array. At worst, you're relying on the default...

@mmkal you're right! it is true that the value was (and is) of type `Input`. Introducing the `Input` type as type parameter means now you can get into a situation...

@qzmfranklin you may find relevant information at the end of that thread, with consolidate recent migration trials feedbacks. https://github.com/gcanti/fp-ts/issues/823

Following this thread very remotely but wondering if the approach would work with deep matching / extractors.

Missing the ability to work with / without ts+ on specific projects in a monorepo :)

Interested into this; also, for the sake of discussing it; we're using Recoil from outside React components (in Epics / Thunks), so would need the handling of atom be possible...