LetExp([
 TypeDec[
  (a,
   NameTy(int))]],
 IntExp(0))