[GHC] #13453: Seemingly can't mix ImplicitParams in where clauses