[GHC] #10800: vector-0.11