Educational Haskell implementation of the monotone framework analysis using a worklist algorithm, as described in F. Nielson, H R. Nielson, C. Hankin: Principles of Program Analysis