Giulio Canti

> specifying data types seems no different to just providing an implementation Maybe an interface? ``` js // just a sketch interface Either { left(left: L): Either; right(right: R): Either;...

If we want to represent unions ``` Union(A, B, C, ...) = A U B U C U ... ``` and cartesian products ``` Product(A, B, C, ...) = A...

@puffnfresh Yes, and it's a really interesting topic, but my point is (and I understand if you don't agree): - those encodings can be hard to understand for newcomers -...

Hi @polytypic, sorry for the delay. Besides my comment [here](https://github.com/rpominov/static-land/issues/32#issuecomment-258691247) (which is admittedly a contrived example) I can't think of critical downsides. If I find some cons I'll make sure...

@rpominov I wrote a POC for Flow [here](https://github.com/gcanti/flow-static-land)

@rpominov I'd say that now is more than an experiment. I'm working on it full time and seems really promising. In the last few days I ported some PureScript libraries...

@isiahmeadows I'm just learning TypeScript but what about something like this? ``` js // Functor.js type HKT = { type: 'HKT', F: F, A: A }; export interface Functor {...

Just pushed a proof of concept here: https://github.com/gcanti/ts-static-land. Though I'm not sure why sometimes I have to specify so many type parameters, for example here https://github.com/gcanti/ts-static-land/blob/master/src/Identity.ts#L67 or here https://github.com/gcanti/ts-static-land/blob/master/src/Maybe.ts#L118 Isn't...

@rpominov FYI I'm working on https://github.com/gcanti/fp-ts (TypeScript) which supersedes my previous attempt. One of the main goals is to be compatible with both fantasy-land and static-land (hopefully)

> Document decode on the type as function instead of method @patroza could you please expand on that? What exactly means?