Michael Hudson wrote: > + isn't totally silly (strings and lists are > monoids, at least :-). list * int, OTOH, seems a bit smelly to me > (though I'm not sure what a better spelling would be...). But strings/lists form a non-commutative monoid, so list * list would be better imho, ans a corresponding list ** int