Here are the slides of my talk:
http://www.cs.kuleuven.be/~toms/Research/talks/fpug_gent.zip
and the paper its based on:
http://www.cs.kuleuven.be/~toms/Research/papers/monad_zipper_draft.pdf
Cheers,
Tom