Data.Generics.Strafunski.StrategyLib.RefactoringTheme
class Abstraction abstr name tpe apply
eliminate
introduce
extract