[GHC] #9950: Documentation for InterruptibleFFI contains broken example