[m-users.] typeclass, class and list confusion

[Zoltan Somogyi]

On Mon, 4 Apr 2022 21:01:57 +0100, "Sean Charles (emacstheviking)" <objitsu at gmail.com> wrote:
> So basically then, a list must be homogeneous by type,

That is correct.

> So, if I understand it correctly then, it failed because despite the typeclass forming a common API,
> namely `show`, this has absolutely no bearing on the fact that I still tried to create a non-homogeneous list ?

That is correct also.

> PS. Not sure if it's my imagination, but I upgraded to 20.01 and on my 10 year old iMac, compilation feels quicker, only by a shade, but maybe that's just me!

We have made a bunch of changes to the compiler that each improved
compilation time a bit. The larger improvements were pretty much
"mined out" years ago.

Zoltan.