Data.Generics.Strafunski.StrategyLib.RefactoringTheme

The abstraction interface

class Abstraction abstr name tpe apply

Removal

eliminate

Insertion

introduce

Generic extraction (say fold)

extract