[GHC] #9627: Type error with functional dependencies