powerset

[Graham Klyne]

At 18:44 05/06/03 +0100, Liyang HU wrote:
> > I'd just about figured the ShowS idea, but I've yet to get a handle on 
> this
> > idea of [a] 'monoid'.
>
>Might http://www.engr.mun.ca/~theo/Misc/haskell_and_monads.htm be of any
>help?

Ah, thanks.  I see:

[[
A monoid is an algebraic structure consisting of a set S and an operation * 
with the following properties ...
]]

which is a datum I was missing.  (I still don't claim to understand it all, 
but at least I get a sense of whet the term monoid means.)

#g


-------------------
Graham Klyne
<GK@NineByNine.org>
PGP: 0FAA 69FF C083 000B A2E9  A131 01B9 1C7A DBCA CB5E