<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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.<br></blockquote><div><br></div><div>`(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.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Some delusions have very sophisticated explanations.</blockquote><div> </div><div>Could you go troll somewhere else?</div><div><br></div><div>Best regards,</div><div>Marcin Mrotek </div></div></div></div>