Do you have anything specific in mind here? At first I was just going to
dismiss this as wishful thinking but perhaps we could actually do
something about this.

Maybe we could provide ‘alternative’ signatures which would make types
more specific with some (which? all of known ones?) instances.