6 Jan
2015
6 Jan
'15
6:09 p.m.
On Tue, Jan 06, 2015 at 05:43:47PM +0000, Nicholls, Mark wrote:
Its quite common in maths to have operations in a theory that are (set) closed, i just want to translate that notion to a typeclass
Do you really need a typeclass (or indeed any way) of doing this? I suspect it will not work. If you consider the multiplication for the monoid of concatenation of lists (++) :: [a] -> [a] -> [a] you see that its type already implies that it is "closed". Tom