Tony Morris

Argonaut started off that way, but all sorts of useful properties are subsequently lost. On 19/03/2016 8:27 AM, "Sean Parsons" [email protected] wrote: > @tylerjharden https://github.com/tylerjharden Please feel free to look...

:+1:

:+1:

@varming Scalaz will not be switching to LGPL. You can tell, because then it wouldn't be Scalaz anymore. It would be something else. Take it easy.

I have looked at `Task`, `Strategy`, `Nondeterminism` and `Catchable` and I agree on all those.

When I see `Strategy`, I am thinking of the default and/or implicit values of the type `Strategy`.

That logo looks pretty awesome John. @fommil Me, you, bottle of scotch. Let's push and see.

Also, I completely agree with the idea of stronger branding, sorting out domain names, getting it organised, etc.

I still believe subtyping is a failed experiment. I don't know how that PR demonstrates any further benefit. This idea of, "but subtyping works if you do such and such"...

That's pretty close. In order to get subtyping working, you do a little bit of work for a penalty on the user side. The alternative is a tiny bit more...