Is `ConstrainedClassMethods` implied by `MultiParamTypeClasses` or not?
Summary
The GHC user's guide section on the extension states:
GHC lifts this restriction with language extension
ConstrainedClassMethods
. The restriction is a pretty stupid one in the first place, soConstrainedClassMethods
is implied byMultiParamTypeClasses
.
However this implied by
is only mentioned in passing here. All other implications, as far as I'm aware, are listed at the top of the dedicated section and also in the extension overview section.
Proposed improvements or changes
If ConstrainedClassMethods
is in fact implied by MultiParamTypeClasses
, make that relationship formal and list it like all the other implications. If there's some subtlety that would mean it's not, clarify it in the extension's section.
Environment
- GHC version used (if appropriate): 9.6.2