on my blog (
http://weblogs.asp.net/brianbec
) , i've posted a couple of Haskell gadgets. One is a simulator for the "relational algebra" of database theory. The other is just an expan
sion of one of Paul Hudak's
derivation
s
of State monads.