At the beginning of Robert Harper's excellent book Programming in Standard ML he presents us with a simple regexp engine.

I am currently writing a version of that engine in Haskell. What's worse, I'm using a monad instead of what was used in the book (a form of continuation passing)! Go, go, monads!

I'll post this code when I get done with it.