Coverage decreased (-0.17%) to 83.31% when pulling 5d2bf0b on 642 into 7b5cb4b on master.

Coverage decreased (-0.15%) to 83.33% when pulling c9932ea on 642 into 7b5cb4b on master.

Coverage decreased (-0.13%) to 83.35% when pulling c9932ea on 642 into 7b5cb4b on master.

Awesome! 👍 👍 👍

It all looks great to me too, but I probably don't have a deep enough understanding of exactly what's going on to see any potential problems here anyway.

This will probably need more testing, but test-everything works for me. I'll make a release soon, and we can see if there are any issues.

Coverage decreased (-0.13%) to 83.35% when pulling 55388ba on 642 into 7b5cb4b on master.

This is separate from allowing anonymous records? Like

instance showFoo :: Show ({foo :: String}) where
  show f = "f"

?

Yeah, that's what @paf31 meant in #863 when he mentioned disallowing rows in instance heads.

Closed rows like you have in that example would perhaps be workable, but maybe even that is problematic. @paf31?