on my blog (http://weblogs.asp.net/brianbec 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 expansion of one of Paul Hudak's derivations of State monads.