Re: [GHC] #1614: Type checker does not use functional dependency to avoid ambiguity