Haskell Foldable Wats

[Marcin Mrotek]

>
> Thanks guys to try to enlighten me.  However, nothing contradicts the view
> of (a,a) as a container of two elements except for your very specific
> interpretation of "container" in terms of unary type transformers, type
> classes, and what not.
>

`(a,a)` "being a container of one element" is only observable when using
the `length` method of `Foldable` type class. It's not like GHC is getting
into your head to challenge your view of it as a container of two elements.


> Some delusions have very sophisticated explanations.


Could you go troll somewhere else?

Best regards,
Marcin Mrotek
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20160218/18be003f/attachment.html>