typedROp rop = 
  case rop of
    A.Lte -> Lte
    A.Lt -> Lt
    A.Eq -> Eq
    A.Gt -> Gt
    A.Gte -> Gte
typedROp rop = 
  case rop of
    A.Lte -> Lte
    A.Lt -> Lt
    A.Eq -> Eq
    A.Gt -> Gt
    A.Gte -> Gte
typedROp rop = 
  case rop of
    A.Lte -> Lte
    A.Lt -> Lt
    A.Eq -> Eq
    A.Gt -> Gt
    A.Gte -> Gte