Re: [GHC] #9585: Note about semantics of (!!) is not specific enough, if it's correct