aaronlifton3 · August 4, 2014 23:34
diff --git a/monoid.ml b/monoid.ml
 type 'a monoid = {zero : 'a; plus : 'a -> 'a -> 'a}
 let sum (m : 'a monoid) (l : 'a list) : 'a = List.fold_left m.plus m.zero l
 let string_summer = sum {zero = ""; plus = (^)}
 let int_summer = sum {zero = 0; plus = (+)}
	type 'a monoid = {zero : 'a; plus : 'a -> 'a -> 'a}
	let sum (m : 'a monoid) (l : 'a list) : 'a = List.fold_left m.plus m.zero l
	let string_summer = sum {zero = ""; plus = (^)}
	let int_summer = sum {zero = 0; plus = (+)}