LetExp([
 TypeDec[
  (a,
   NameTy(b)),
  (b,
   ArrayTy(a))]],
 StringExp(""))