Implementación de un modelo de programación orientado a aspectos bajo Arrows de Haskell (2010)