Types differ, but they look the same

[Joachim Breitner]

Hi,

Am Freitag, dem 08.04.2022 um 16:58 +0200 schrieb Joachim Breitner:
> what might make eqType go False that is _not_ visible in the pretty-
> printed view?

I have a hunch: `(%,%) a b` differs from `(,) a b`, but both are
pretty-printed as (a, b)`… I’ll shout if that wasn’t it.

Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/