Hiroshi YAMAGUCHI
Hiroshi YAMAGUCHI
Thank you for your reply. > it is some argument about if two A values are eqv than any transformation of them into other As should preserve that equality. >...
I'm not convinced what you mean but introducing a new type class sounds a good idea. Thank you.