Fix haddock comment on <~<