Scala implementation of a monadic abstract interpreter. Based on this paper: Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clark, Frank Piessens. "Monadic Abstract Interpreters." To appear in Proceedings of the 34th Annual Conference of Programming Language Design and Implementation (PLDI 2013). Seattle, Washington. June, 2013.