A monadic approach to static analysis following the methodology of AAM