========================================== reduce in TEST : ?(((empty -> p), (p -> empty))) . rewrites: 353 in 25ms cpu (25ms real) (13579 rewrites/second) result State: [ ("p",'_->_['empty.AtomMagma,'p.Atom],empty -> p), ("p",'_->_['p.Atom, 'empty.AtomMagma],p -> empty), "p" : (empty -> p) |-> ((empty).AtomMagma -> (empty).AtomMagma)[p], "p" : (p -> empty) |-> empty, "p" : (p -> empty) |-> ([p]empty -> empty), empty -> empty, 1 ] Bye.