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: https://github.com/purescript-contrib/purescript-fixed-points/blob/a35e484afc1b87fd91737c3a1bf03fcb99470e29/src/Data/Functor/Mu.purs#L52-L53
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? 