Thanks!

Hmm, I wonder though... as an alternative, maybe these instances should use a constraint on the underlying type and use those instances instead? That's how a lot of the others are defined for Identity. 🤔

Thanks for looking at this! I don’t know of a way to accomplish that, since the parameter is of Type, and the classes take Type -> Type ... maybe that would be possible for something like App f a, but still, I think it’s useful for Identity to literally be the identity functor in its own right, and not wholly transparent.

Ooh good point, yep. This looks good then!

Cool, thank you Gary :)