@Test
public void getArgs() throws Exception {

  List<Expr> args = exprsList();
  TypeConstructorExpr e = new TypeConstructorExpr("foo",
      args);
  for (int i = 0; i < args.size(); i++) {
    assertTrue(args.get(i) == e.getArgs().get(i));
  }
}