Re: [GHC] #12777: reify yields the wrong type in the presence of functional dependencies (was: reify yields the wrong type in the presence of functional rependencies)