5
Int
*
*1
[5]
[ Int ]
*
[ ]
*
~>
*
Succ
Nat
~>
Nat
Zero
Nat
*2