18 Feb
2016
18 Feb
'16
10:02 a.m.
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