effective-aspects (hackage): A monadic embedding of aspect oriented programming, similar to AspectJ
Keywords: aop|aspect-oriented-programming|language|library|monads