class ToAbstract concrete abstract
data NewModuleQName
data OldName a
data TopLevel a
data TopLevelInfo
data AbstractRHS
data NewModuleName
data OldModuleName
data NewName a
data OldQName
data LeftHandSide
data RightHandSide
data PatName
data APatName
data LetDef
data LetDefs