[GHC] #16390: T10672 fails