Giulio Canti

> Will this implementation replace the one with inj/prj? Actually we could also implement a `fromNullable / toNullable` pair ```js export function fromNullable(a: ?A): Option { return a == null...

@ctrlplusb No, I only have a list of pros and cons (presented in an internal meeting at buildo) half in english and half in italian. The gist is that TypeScript...

> It does seem to be similar to **scalaz validation** Yep. Adapted from http://eed3si9n.com/learning-scalaz/Validation.html ```js // @flow import { getApplicative } from 'flow-static-land/lib/Validation' import * as either from 'flow-static-land/lib/Either' import...

Hi, a relevant discussion in the static-land repo https://github.com/rpominov/static-land/issues/6 /cc @rpominov

Well pretty much everything, at the moment the majority of code is not covered by tests

naive implementation https://github.com/gcanti/flow-static-land/blob/master/test/babel-plugin.js

> What is preferred, A => B or A1 => A2? For consistency with all the other signatures I'd keep `A => B`

> and indexReadonlyNonEmptyArray for monocle-ts @mlegenhausen https://github.com/gcanti/monocle-ts/pull/124

> I would get rid of all Readonly* modules and make the rest immutable There are two options I guess: **Option 1** Keep the `Readonly*` modules and simply remove the...

Does `A = B + Exclude` hold when `B