Giulio Canti

> which allows changing type of the result (A => B) Isn't this `map`? ```ts export function map(fetcher: Fetcher, f: (a: A) => B): Fetcher { return { input: fetcher.input,...

@ChrisAntreasian I wouldn't recommend using the experimental modules in production, I don't consider them stable

> So the question is wether it is possible to map over some list smartly building a lens per each child @raveclassic not sure what you mean, could you post...

> without losing type inference What do you mean? Could you please show your implementation and an example reproducing the issue?

There's also a `composeLens` method ```ts const geographicStateFromAppState = detailsL.composeOptional(locationO).composeLens(stateL) ```

@hjfreyer looks like a mapping ```ts import { record } from 'fp-ts/lib/Record' type A = { [key: string]: B } type B = { foo: string bar: string } declare...

@SRachamim using a `Lens` ```ts import * as L from 'monocle-ts/lib/Lens' import * as O from 'fp-ts/Option' import { pipe } from 'fp-ts/function' interface User { readonly name: string readonly...

> What's the theory that prevent us from introducing a set @SRachamim as a counterexample, how would you implement the `set` function below? ```ts import { pipe } from 'fp-ts/function'...

> Can we have a function that does this automatically? It depends on the shape of the union I guess (the general case seems too hard). For example if you...

@sledorze `NonEmptyArray2v` is marked as experimental, I'd wait until it will be officially released.