Re: Constraints on definition of `length` should be strengthened

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.