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