assignment :: Statement :~ TypeAnn
assignment =
  Annotate {
    content = Assign (Annotate (LVariable "y") testType) expr,
    annotation = testType
  }
assignment :: Statement :~ TypeAnn
assignment =
  Annotate {
    content = Assign (Annotate (LVariable "y") testType) expr,
    annotation = testType
  }
assignment =
  Annotate {
    content = Assign (Annotate (LVariable "y") testType) expr,
    annotation = testType
  }