I think it's more mathematically clear to define `abs` by U(R) acting on R. U(R) acts on R via multiplication, which defines an equivalence relation on R called 'associatedness.' -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200130/80774c37/attachment.html>