expr :: Expression :~ TypeAnn
expr = Annotate {
         content = Op Add (Annotate (Variable "x") testType)
                          (Annotate (Literal (LInteger 1)) testType),
         annotation = testType
       }
expr :: Expression :~ TypeAnn
expr = Annotate {
         content = Op Add (Annotate (Variable "x") testType)
                          (Annotate (Literal (LInteger 1)) testType),
         annotation = testType
       }
expr = Annotate {
         content = Op Add (Annotate (Variable "x") testType)
                          (Annotate (Literal (LInteger 1)) testType),
         annotation = testType
       }