You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I agree that this would be a huge win. One specific thing that I think is a bit confusing is that the law-checking for cats-kernel is significantly different than for the other modules. At a minimum we should document this difference.
From gitter discussion
We can add a section into the typeclass page.
This would be
The text was updated successfully, but these errors were encountered: