This paper is fun. I've thought about aspects in FP before, but never thought hard. These guys have, and they raise some good points about the possibilities of higher order advice and (especially!) pointcuts. Kiczales nixed this in AspectJ, apparently (and I don't want to imagine trying to implement it in Java) but it is very powerful looking stuff.