Excerpts from Adam Chlipala's message of Mon Nov 28 23:57:50 +0100 2011:
> No, it would be a pair of values, like
> eq a * (a -> a -> bool)
> or perhaps a record would be nicer.
Does it make a difference passing a -> b or (a * b) or {A = a, B = b} ?
For readability only?
Marc Weber