DFMonad
data
DataflowLattice
a
class
DataflowAnalysis
m
type
DFM
fact a
runDFM
liftToDFM
markGraphRewritten
graphWasRewritten