An independent module illustrating how instances and associated types of the mixed operation binary type classes should be defined to avoid overlapping instances while allowing one to write generic mixed-type functions.
An independent module illustrating how instances and associated types
of the mixed operation binary type classes should be defined to avoid
overlapping instances while allowing one to write generic mixed-type
functions.
michalkonecny/aern