See the main link for a couple of pretty pictures demonstrating the kind of things you can create. Short and sweet. This is the google equivalent of a deja link posted on c.l.functional. Type Classes Overloading functions in Haskell is done via the type class mechanism. There's been a movement on the Haskell mailing lists to get this clarified and simplified.
Home page looks the same as ever.
If continuations is just a big scary word, you need to go and learn from the experts. This is a sample chapter from The Seasoned Schemer . I am a long time fan of The Little Schemer , which is the older brother of this book. It is highly recommended. Moreover, Alice includes other interesting features found in neither of both languages.