testType :: TypeAnn 
testType = TypeAnn {
  srcPos = SrcPos 0 0,
  typeOf = TInteger,
  localSymbols = M.empty,
  allSymbols = [M.singleton "y" y, M.singleton "x" x] }
testType :: TypeAnn
testType = TypeAnn {
  srcPos = SrcPos 0 0,
  typeOf = TInteger,
  localSymbols = M.empty,
  allSymbols = [M.singleton "y" y, M.singleton "x" x] }
testType = TypeAnn {
  srcPos = SrcPos 0 0,
  typeOf = TInteger,
  localSymbols = M.empty,
  allSymbols = [M.singleton "y" y, M.singleton "x" x] }