There is no Show1?

Just noticed that there are Eq1 and Ord1 classes for type constructors, but no corresponding Show1? Just curious, and it is a bit inconvenient.

You can get away without requiring Show1 by using TacitString in purescript-fixed-points. Take a look at the Show instance for Mu for an example:

1 Like

That is a neat trick!

Actually I was poking around in fixed-points and free to notice this in the first place. Now how about adding Show instances for Cofree and friends? :wink: