Constraints on definition of `length` should be strengthened

Henning Thielemann lemming at henning-thielemann.de
Mon Apr 3 21:07:01 UTC 2017


On Mon, 3 Apr 2017, Edward Kmett wrote:

> Discussion has been raised elsewhere about `Either e` just in the last 
> month or so, etc as well. The goal posts slide around quite a bit, 
> almost like there are lots of people with different opinions.

I see, Foo can also be Either.


More information about the Libraries mailing list