InstanceSigs -- rationale for the "must be more polymorphic than"

[Anthony Clayden]

> If you would like to offer a patch for the user manual to explain this
better, that would be great.

Thank you Simon for the invitation.

On further investigation https://gitlab.haskell.org/ghc/ghc/-/issues/20357,
what I'd like the user manual to say is:

"InstanceSigs is a mis-feature. Don't use it. It is less confusing to just
give no signature at all. If you really, really want to bind tyvars, use
PatternSignatures."
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20210918/1630984c/attachment.html>