data SrcSpan

data RType

data Refactoring a