Traversable1 and TraversableWithIndex

[MonoidMusician]

No description provided.

[garyb]

Thanks!

[garyb]

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. 🤔

[MonoidMusician]

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.

[garyb]

Ooh good point, yep. This looks good then!

[MonoidMusician]

Cool, thank you Gary :)