dataflow-effects-graded-monad

Graded monad for live-variable analysis and others