module T10083 where
  data RSR
  eqRSR :: RSR -> RSR -> Bool