Deprecate Foldable for Either
Henning Thielemann
lemming at henning-thielemann.de
Thu Mar 2 16:30:21 UTC 2017
On Thu, 2 Mar 2017, Andreas Abel wrote:
> Today a student came to me wondering why a certain function produced a
> regular result, where he had expected an error. Turned out he had used
> `concat`, but not on a lists of lists as he had thought, but on a lists
> of `Either a [b]`.
That is, he did (concat (xs :: [Either a [b]]))? Does GHC actually accept
that? If at all, it would not have to do with Foldable.
More information about the Libraries
mailing list