Re: [GHC] #7633: Checkable "minimal complete definitions"