Text this: Implementación de un modelo de programación orientado a aspectos bajo Arrows de Haskell