Haskell Foldable Wats

Marcin Mrotek marcin.jan.mrotek at gmail.com
Thu Feb 18 15:02:55 UTC 2016

> 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>

More information about the Libraries mailing list