Data.Generics.Strafunski.StrategyLib.FixpointTheme
Fixpoint Iteration
repeatTP
Fixpoint Traversal
reduce
outermost
innermost'
innermost