Type checking ./reg039.idr
[3, 2, 1]